summaryrefslogtreecommitdiff
path: root/transfer/lib/prelude.tra
AgeCommit message (Expand)Author
2008-06-26removed transfer from gf3aarne
2006-03-15Transfer prelude: added missing type arguments to some type classes.bringert
2006-03-15Fixed typo in transfer prelude: prim_eq_Strbringert
2005-12-09Transfer: changed syntax to remove the mandatory type annotation in let.bringert
2005-12-08Transfer: fixed bug in prelude partition. Fixed naming of tuple field names, ...bringert
2005-12-07Transfer: derive Eq Boolbringert
2005-12-06Transfer: Changed transfer program file extension from .tr to .tra to avoid c...bringert