summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2005-12-07Transfer reference: operators, overloadingbringert
2005-12-07Transfer: derive Eq Boolbringert
2005-12-07Transfer reference: added list patterns, do notation.bringert
2005-12-07Transfer reference: added metavariable section and implementation status sect...bringert
2005-12-06Transfer tutorial: conjunction, not conjugation.bringert
2005-12-06Transfer: Changed transfer program file extension from .tr to .tra to avoid c...bringert
2005-12-06Simple transfer tutorial touch-up.bringert
2005-12-06Moved transfer documentation to doc/. Added sections and text to transfer tut...bringert
2005-12-06Transfer: Fixed BNFC's layout resolver to not insert semicolon at end of line...bringert
2005-12-06Transfer: fixed syntax error in prelude definition of partition.bringert
2005-12-06Transfer: Changed BNFC's layout syntax resolver to add a semicolon at EOF if ...bringert
2005-12-06Transfer: moved pair stuff to prelude. Added partition function.bringert
2005-12-06opers in cncaarne
2005-12-06After suggestion from Jordi: note that darcs pull should be done inside the l...bringert
2005-12-06bug fix in Shell commands at, wtaarne
2005-12-05multimodal resource recreated for new APIaarne
2005-12-05Added beginnings of a transfer language reference.bringert
2005-12-05Removed variable for the type argument of List.bringert
2005-12-05Renamed transfer compiler and interpreter.bringert
2005-12-05Changed test.tr to run a fibNat test.bringert
2005-12-05Added aggregation example.bringert
2005-12-05Added tuple expressions and patterns.bringert
2005-12-05tidy up res; bug fix in ShellState.addTransferaarne
2005-12-05Transfer: fixed Eq derivation to at least work for GF-generated Tree types.bringert
2005-12-02Transfer added guards and Eq derivation.bringert
2005-12-02floats in GF and GFC (parsing user input still doesn't work)aarne
2005-12-02Added some differences between Cayenne and Transfer to transfer READMEbringert
2005-12-02Make words in SLF language models upper case.bringert
2005-12-01Transfer: removed list syntax from TODO.bringert
2005-12-01Added list patterns. Added som simple prelude functions.bringert
2005-12-02EIntegeraarne
2005-12-01rearranging resource-1.0aarne
2005-12-01document updateaarne
2005-12-01updating documentationaarne
2005-12-01history linkaarne
2005-12-01making apply_transfer workaarne
2005-12-01Transfer: Added Double type.bringert
2005-12-01Transfer: remove disjunctive patterns from TODO.bringert
2005-12-01Transfer: added support for disjunctive patterns.bringert
2005-12-01Added binary numeral grammars.bringert
2005-12-01Transfer: removed some fixed TODOs.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-30Fixed layout stop word bug.bringert
2005-11-30Transfer: added example which makes the layout resolver go wrong. Added binar...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: derive instances, not functions.bringert
2005-11-30Transfer: added monad class. fixed Compos class types.bringert
2005-11-30Transfer: reimplement operators with type classes.bringert