summaryrefslogtreecommitdiff
path: root/transfer/lib
AgeCommit message (Expand)Author
2008-06-26removed transfer from gf3aarne
2006-03-20Expermintation woth a collections framework for transfer.bringert
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
2005-12-06Transfer: fixed syntax error in prelude definition of partition.bringert
2005-12-06Transfer: moved pair stuff to prelude. Added partition function.bringert
2005-12-05Removed variable for the type argument of List.bringert
2005-12-05Added aggregation example.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: moved stuff around in prelude. Added some new simple instances.bringert
2005-12-01Transfer: Added Add instance for lists.bringert
2005-11-30Added bind operators, do-notation, a cons operator and list sytnax.bringert
2005-11-30Added monad isntances for List and Maybe.bringert
2005-11-30Transfer: added monad class. fixed Compos class types.bringert
2005-11-30Transfer: reimplement operators with type classes.bringert
2005-11-30Moved transfer libraries to transfer/libbringert
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 12:06:39 +0000