| commit | d4d058795c122df75a29831f5559ef722291bd70 | |
| author | Joan Arnaldich Bernal <joan@Midas.(none)> | |
| Mon, 12 Dec 2011 22:12:23 +0000 (12 23:12 +0100) | ||
| committer | Joan Arnaldich Bernal <joan@Midas.(none)> | |
| Mon, 12 Dec 2011 22:12:23 +0000 (12 23:12 +0100) | ||
| tree | 894797ad57c170b920c466a8669cc3fac53f2618 | treesnapshot (tar.gz zip) |
| parent | 547923aff33e912d8e9a41561eb3f13e5a68e09f | commitdiff |
Added some words in the evaluator
| evaluator.ml | diffblobblamehistory | |
| interactive.ml | diffblobblamehistory | |
| tests/closures.scm | diffblobblamehistory | |
| types.ml | diffblobblamehistory | |
| types.mli | diffblobblamehistory |