tweak reader2.ml, add Juli8.tgz
authorJim <jim.pryor@nyu.edu>
Sat, 4 Apr 2015 23:24:47 +0000 (19:24 -0400)
committerJim <jim.pryor@nyu.edu>
Sat, 4 Apr 2015 23:24:47 +0000 (19:24 -0400)
commit0b126d1ce50e3ae395ad6ed93c7c3f7040c050bc
treef06dd778af6dba376c66e2068d9b74dd8a2b25ea
parent9fa2ebb32617d76b9dde81b4d6adfada2f15d48d
tweak reader2.ml, add Juli8.tgz
code/Juli8-v1.2.tgz [new file with mode: 0644]
code/juli8.ml [deleted file]
code/monad.ml [deleted file]
code/reader2.ml