Commits

Commit history

1. Commits on Jan 31, 2017

   • Test C2 C2 C2 C2 C10 I I

     codedot

     committed
     9055711View commit details

     Copy full SHA for 9055711

     Browse repository at this point

   • Exclude 'turning' from test.sh

     codedot

     committed
     2836739View commit details

     Copy full SHA for 2836739

     Browse repository at this point

   • Include one more Church sample

     codedot

     committed
     259a94cView commit details

     Copy full SHA for 259a94c

     Browse repository at this point

   • Disable waiting construct when possible

     codedot

     committed
     3c7d35cView commit details

     Copy full SHA for 3c7d35c

     Browse repository at this point

   • Include more Church samples

     codedot

     committed
     66fe9f4View commit details

     Copy full SHA for 66fe9f4

     Browse repository at this point

   • Include Church factorial samples

     codedot

     committed
     e15c8b2View commit details

     Copy full SHA for e15c8b2

     Browse repository at this point

   • Rename samples

     codedot

     committed
     08f265aView commit details

     Copy full SHA for 08f265a

     Browse repository at this point
2. Commits on Jan 29, 2017

   • Check nf in test.sh

     codedot

     committed
     76dc5ccView commit details

     Copy full SHA for 76dc5cc

     Browse repository at this point

   • Fail if no nf has been found

     codedot

     committed
     f6555e0View commit details

     Copy full SHA for f6555e0

     Browse repository at this point

   • Use uppercase for header in test.sh

     codedot

     committed
     2675466View commit details

     Copy full SHA for 2675466

     Browse repository at this point

   • Do not propagate \eval through \lambda

     codedot

     committed
     2a2e686View commit details

     Copy full SHA for 2a2e686

     Browse repository at this point

   • Define \read><\share in 'closed'

     codedot

     committed
     32374a9View commit details

     Copy full SHA for 32374a9

     Browse repository at this point

   • Factor out test.sh

     codedot

     committed
     bba35a7View commit details

     Copy full SHA for bba35a7

     Browse repository at this point

   • Switch to inet-lib@0.2.3

     codedot

     committed
     26b21abView commit details

     Copy full SHA for 26b21ab

     Browse repository at this point

   • Reference online demo

     codedot

     committed
     0d45361View commit details

     Copy full SHA for 0d45361

     Browse repository at this point

   • Do not export samples in API

     codedot

     committed
     11eddc6View commit details

     Copy full SHA for 11eddc6

     Browse repository at this point
3. Commits on Jan 28, 2017

   • Correct benchmarks

     codedot

     committed
     fe8ca8aView commit details

     Copy full SHA for fe8ca8a

     Browse repository at this point

   • Shorten Algorithms in README.md

     codedot

     committed
     3565842View commit details

     Copy full SHA for 3565842

     Browse repository at this point

   • Refactor encoding/abstract/template.txt

     codedot

     committed
     8937c44View commit details

     Copy full SHA for 8937c44

     Browse repository at this point

   • Throw when algorithm is unknown

     codedot

     committed
     158abe7View commit details

     Copy full SHA for 158abe7

     Browse repository at this point

   • Factor out encoding/readback.txt

     codedot

     committed
     abb695eView commit details

     Copy full SHA for abb695e

     Browse repository at this point

   • Rephrase and reformat README.md

     codedot

     committed
     d48e37dView commit details

     Copy full SHA for d48e37d

     Browse repository at this point

   • List algorithms in README.md

     codedot

     committed
     368529fView commit details

     Copy full SHA for 368529f

     Browse repository at this point

   • Sort CLI options alphabetically

     codedot

     committed
     5b2351eView commit details

     Copy full SHA for 5b2351e

     Browse repository at this point

   • Enable experimental implementations

     codedot

     committed
     d56fd48View commit details

     Copy full SHA for d56fd48

     Browse repository at this point

   • Enable optimal reduction

     codedot

     committed
     fc8e790View commit details

     Copy full SHA for fc8e790

     Browse repository at this point

   • Enable closed reduction

     codedot

     committed
     b3bd65fView commit details

     Copy full SHA for b3bd65f

     Browse repository at this point

   • Reduce other implementations

     codedot

     committed
     ed22051View commit details

     Copy full SHA for ed22051

     Browse repository at this point

   • Factor out encoding/generic.js

     codedot

     committed
     b304d73View commit details

     Copy full SHA for b304d73

     Browse repository at this point

   • Merge getconf() into encode()

     codedot

     committed
     383b399View commit details

     Copy full SHA for 383b399

     Browse repository at this point

   • Factor out expand() from encode()

     codedot

     committed
     3ac5cd0View commit details

     Copy full SHA for 3ac5cd0

     Browse repository at this point
4. Commits on Jan 27, 2017

   • Enable strict mode in new modules

     codedot

     committed
     68bd5fbView commit details

     Copy full SHA for 68bd5fb

     Browse repository at this point

   • Define -a to choose encoding

     codedot

     committed
     b2fce5dView commit details

     Copy full SHA for b2fce5d

     Browse repository at this point

   • Define -i to show interaction net

     codedot

     committed
     a6c2bdeView commit details

     Copy full SHA for a6c2bde

     Browse repository at this point

   • List predefined combinators in README.md

     codedot

     committed
     d46ab8cView commit details

     Copy full SHA for d46ab8c

     Browse repository at this point