dariusf

using UnityEngine;
using System.Collections;
using Prime31;

public class PlayerControl : MonoBehaviour
{
    // movement config
    float gravity = -3f;
    float runSpeed = 8f;
    float groundDamping = 20f; // how fast do we change direction? higher means faster

dariusf

Logophile Privacy Policy

The developers of Logophile take your family's safety and enjoyment very seriously. We have written this policy to explain to you exactly what information we collect from you and what we do with it. We promise at all times to protect your information and only use it for the purpose that you gave it to us for.

• We don't collect any personal information from you. You will not be asked to provide an email address, sign into social media, or divulge anything that can identify you.
• We don't collect any game-related information from you. High scores and words found reside only on your device. You can clear them via the Settings app for your platform, and there is no backup for them once you remove them, either this way or by deleting the app.
• Logophile may only report back to us in the event of a crash via built-in Android functionality. Google's privacy policy covers what is sent in these crash reports. We will not disclose any personal information contained therein, should it

dariusf

using UnityEngine;
using System.Collections;

public class FadeTo : MonoBehaviour {

	void Start () {
		StartCoroutine (Fade (1.0f, 1.0f));
	}

	void Update () {

dariusf

Traced functions will have this type.

type ('a, 'b) traced = Traced of ('a -> 'b)

When we see a [@@trace] annotation, we preserve the information with types.

let id = fun x -> x [@@trace]

dariusf

➜ ~/python python3 poetry.py
damoose cathay than saves 'n francophile
for steinberg krass cutugno sowed because
lheureux hm phillip's projects' mercantile
forestalls mochida staffers doty kaus
bertino whittinghill employ pingree
adele affliction whetsel welles' amar's
debater argentina honoree
kuwait ferraris neeld will detjen kahrs
with choppy inacom attenuates

dariusf

stop words: the, that, and, was, her, she, had, not, this, for, with, were, there, from, then, would, his, have, been, also, which, did, when, whether, but, who, him, could, they, these, where, into, went, than, what, very, our, has, are, their, how, why, here

word	frequency
accused	651
deceased	444
slr	161
prosecution	156

dariusf

// Purely functional: no mutable state
// Imperative programming: no need for monads to sequence computations
// Stringly-typed: type system is both weak and string at the same time
// Object-oriented programming: or anything you can string together
// Elegant error-handling: garbage in, garbage out
// Literate programming: use emoji to clarify obscure code

// 'programs'

dariusf

Initial = [
  accessible(mon_house, town),
  accessible(town, mon_house),
  accessible(cap_house, town),
  accessible(town, cap_house),
  at(romeo, town),
  at(montague, mon_house),
  at(capulet, cap_house),
  at(mercutio, town),

dariusf

from urwid import *

def unhandled_input(key):
    # print 'got some event', key
    if key == 'esc' or key == 'q':
        raise ExitMainLoop()

single_color = [
    ('basic', 'yellow', 'dark blue'),

dariusf

negation_(not(Statement), Statement).
negation_(Statement, not(Statement)).
negation(S, N) :- once(negation_(S, N)).

negated(X) :- functor(X, not, _).

set_union(X, Y, Z) :- append(X, Y, Z0), sort(Z0, Z).
negate_all(X, Y) :- maplist(negation, X, Y).

one_culprit(Facts) :-