summaryrefslogtreecommitdiff
path: root/src/Transfer/Core
AgeCommit message (Expand)Author
2006-05-20Regenerated transfer bnfc stuff with latest bnfc, happy and alex, to be able ...bringert
2006-03-03Transfer: Removed PType from source and core languages.bringert
2006-01-03Regenerate Transfer abstract syntaxes with updated BNFC.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-29Use rec and sig for records.bringert
2005-11-29Added meta variables to transfer front-end and core.bringert
2005-11-25Move transfer into the GF repo.bringert