Permalink
Commits on Oct 2, 2013
Commits on Sep 12, 2013
Commits on Sep 11, 2013
  1. Added termination tests

    committed Sep 11, 2013
Commits on Sep 9, 2013
Commits on Sep 8, 2013
Commits on Sep 4, 2013
  1. Checkpoint

    committed Sep 4, 2013
Commits on Aug 28, 2013
  1. Better .gitignore

    committed Aug 28, 2013
  2. Daily-ish check-in

    committed Aug 28, 2013
Commits on Aug 23, 2013
  1. Daily-ish-ish check-in

    committed Aug 23, 2013
Commits on Aug 20, 2013
  1. Daily-ish check-in

    committed Aug 20, 2013
Commits on Aug 19, 2013
  1. Checkpoint

    committed Aug 19, 2013
Commits on Aug 13, 2013
  1. Daily check-in

    Neil Toronto committed Aug 13, 2013
  2. Little bitty things

    Neil Toronto committed Aug 13, 2013
  3. Daily check-in

    committed Aug 13, 2013
Commits on Aug 8, 2013
Commits on Aug 7, 2013
  1. Dailyish check-in

    committed Aug 7, 2013
Commits on Aug 6, 2013
  1. Removed manual typeclass encoding from Typed Racket implementation

    Sets are now unityped, so the arrows are a translation target for
    an *untyped* first-order calculus
    committed Aug 6, 2013
Commits on Aug 5, 2013
  1. Checkpoint

    committed Aug 5, 2013
Commits on Aug 2, 2013
  1. Better Haskell

    committed Aug 2, 2013
  2. Missed test.hs

    committed Aug 2, 2013
  3. Daily check-in

    committed Aug 2, 2013
Commits on Aug 1, 2013
  1. Checkpoint

    committed Aug 1, 2013
Commits on Jul 31, 2013
  1. Dailyish check-in

    committed Jul 31, 2013
Commits on Jul 29, 2013
  1. Checkpoint

    committed Jul 29, 2013
  2. Checkpoint

    committed Jul 29, 2013
Commits on Jul 27, 2013
  1. Checkpoint

    committed Jul 27, 2013
Commits on Jul 26, 2013
  1. Checkpoint

    committed Jul 26, 2013