seems to work (only a few tests)
commit8f63222080a01ae6d72f743b1a31421de872c49e
authorJoan Arnaldich Bernal <joan@Midas.(none)>
Sat, 10 Dec 2011 17:00:17 +0000 (10 18:00 +0100)
committerJoan Arnaldich Bernal <joan@Midas.(none)>
Sat, 10 Dec 2011 17:00:17 +0000 (10 18:00 +0100)
treedfa4a171266d04af9550091d39735722085f8f35
parent1bdf1269cb6423a882e7a0d18c006749325880df
seems to work (only a few tests)
evaluator.ml
evaluator.mli
front.ml
interactive.ml [new file with mode: 0644]
main.ml
types.ml
types.mli