summaryrefslogtreecommitdiff
path: root/src/Transfer/Syntax/Syntax.cf
AgeCommit message (Collapse)Author
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-06Transfer: Changed BNFC's layout syntax resolver to add a semicolon at EOF if ↵bringert
using top-level layout sytax. Changed transfer syntax to use this to force semicolon after imports when pretty printing transfer. transfer grammar printer now produces Transfer syntax, not core. It also imports prelude and includes Eq and Compos instances.
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