| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2006-03-03 | Transfer: Removed PType from source and core languages. | bringert | |
| 2005-12-09 | Transfer: changed syntax to remove the mandatory type annotation in let. | bringert | |
| 2005-12-02 | Transfer added guards and Eq derivation. | bringert | |
| 2005-12-01 | Transfer: Added Double type. | bringert | |
| 2005-11-30 | Transfer: reimplement operators with type classes. | bringert | |
| 2005-11-29 | Use rec and sig for records. | bringert | |
| 2005-11-29 | Transfer: let expressions caused non-termination due to excessive ↵ | bringert | |
| strictness, fixed. | |||
| 2005-11-29 | Transfer: support printing meta variable values. | bringert | |
| 2005-11-29 | Added meta variables to transfer front-end and core. | bringert | |
| 2005-11-28 | Cleaned up closure stuff in the transfer interpreter. | bringert | |
| 2005-11-25 | Added evaluateExp and builtin to InterpreterAPI. Check for EOF in ↵ | bringert | |
| interactive transfer interpreter mode. | |||
| 2005-11-25 | Move transfer into the GF repo. | bringert | |
