summaryrefslogtreecommitdiff
path: root/src/Transfer/Syntax/Abs.hs
AgeCommit message (Expand)Author
2005-12-09Transfer: changed syntax to remove the mandatory type annotation in let.bringert
2005-12-05Added tuple expressions and patterns.bringert
2005-12-02Transfer added guards and Eq derivation.bringert
2005-12-01Added list patterns. Added som simple prelude functions.bringert
2005-12-01Transfer: Added Double type.bringert
2005-12-01Transfer: added support for disjunctive patterns.bringert
2005-11-30Added bind operators, do-notation, a cons operator and list sytnax.bringert
2005-11-29Use rec and sig for records.bringert
2005-11-29Added meta variables to transfer front-end and core.bringert
2005-11-28Changed precedence of projection to be higher than application.bringert
2005-11-25Move transfer into the GF repo.bringert