| description | A tiny functional language with type inferencing. |
| owner | Eric Woroshow, eric@ericw.ca |
| last change | Mon, 21 Dec 2009 14:05:12 -0500 |
| 8 months ago | Eric Woroshow | Add LICENSE and README files to prepare for a more public release. | changeset | files |
| 11 months ago | Eric Woroshow | New feature: run files (rather than only REPL interface). | changeset | files |
| 11 months ago | Eric Woroshow | Convert REPL to use Haskeline (which works on Windows) rather than Readline. Fix a formatting/alignment error in the type inferencer. | changeset | files |
| 17 months ago | Eric Woroshow | Renamed TI monad to TypeInfM for clarity. | changeset | files |
| 17 months ago | eric | Implement type inferencing using Algorithm M. | changeset | files |
| 17 months ago | eric | Initial commit of Cantor. | changeset | files |
| ... | |||
| ... |
| 8 months ago | 348ee2517ff2 | default | changeset | changelog | files |
| ... | |||