summaryrefslogtreecommitdiff
path: root/src/Transfer/Interpreter.hs
AgeCommit message (Collapse)Author
2008-06-26removed Transfer interpreteraarne
2008-06-25changed names of resource-1.3; added a note on homepage on releaseaarne
2008-06-25removed src for 2.9aarne
2006-03-03Transfer: Removed PType from source and core languages.bringert
2005-12-09Transfer: changed syntax to remove the mandatory type annotation in let.bringert
2005-12-02Transfer added guards and Eq derivation.bringert
2005-12-01Transfer: Added Double type.bringert
2005-11-30Transfer: reimplement operators with type classes.bringert
2005-11-29Use rec and sig for records.bringert
2005-11-29Transfer: let expressions caused non-termination due to excessive ↵bringert
strictness, fixed.
2005-11-29Transfer: support printing meta variable values.bringert
2005-11-29Added meta variables to transfer front-end and core.bringert
2005-11-28Cleaned up closure stuff in the transfer interpreter.bringert
2005-11-25Added evaluateExp and builtin to InterpreterAPI. Check for EOF in ↵bringert
interactive transfer interpreter mode.
2005-11-25Move transfer into the GF repo.bringert