summaryrefslogtreecommitdiff
AgeCommit message (Collapse)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 ↵bringert
section.
2005-12-06Transfer tutorial: conjunction, not conjugation.bringert
2005-12-06Transfer: Changed transfer program file extension from .tr to .tra to avoid ↵bringert
collision with Troff file extension.
2005-12-06Simple transfer tutorial touch-up.bringert
2005-12-06Moved transfer documentation to doc/. Added sections and text to transfer ↵bringert
tutorial and reference. Added script for generating html from txt2tags files.
2005-12-06Transfer: Fixed BNFC's layout resolver to not insert semicolon at end of ↵bringert
line if there is one already.
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
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-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 ↵bringert
local repository.
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 ↵bringert
binary conversion from numerals.
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
generated by cgit v1.2.3 (git 2.39.1) at 2026-07-16 05:20:38 +0000