gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author
2006-03-20	Transfer: some TODOs. Lots of minor fixes in type checking algorithm.	bringert
2006-03-20	Added some tricky transfer type checking examples.	bringert
2006-03-13	Transfer reflexive example: added ideal version.	bringert
2006-03-13	Added transfer example: constructing reflexives.	bringert
2006-01-20	Report errors in at command.	bringert
2005-12-09	Transfer compiler: rename variables before doing any substitutions.	bringert
2005-12-09	Transfer: changed syntax to remove the mandatory type annotation in let.	bringert
2005-12-06	Transfer: Changed transfer program file extension from .tr to .tra to avoid c...	bringert
2005-12-06	Simple transfer tutorial touch-up.	bringert
2005-12-06	Moved transfer documentation to doc/. Added sections and text to transfer tut...	bringert
2005-12-06	opers in cnc	aarne
2005-12-05	Added beginnings of a transfer language reference.	bringert
2005-12-05	Changed test.tr to run a fibNat test.	bringert
2005-12-05	Added aggregation example.	bringert
2005-12-05	Transfer: fixed Eq derivation to at least work for GF-generated Tree types.	bringert
2005-12-01	Added list patterns. Added som simple prelude functions.	bringert
2005-12-01	Transfer: added support for disjunctive patterns.	bringert
2005-11-30	Transfer: added example which makes the layout resolver go wrong. Added binar...	bringert
2005-11-30	Added bind operators, do-notation, a cons operator and list sytnax.	bringert
2005-11-30	Transfer: derive instances, not functions.	bringert
2005-11-30	Transfer: reimplement operators with type classes.	bringert
2005-11-30	Moved transfer libraries to transfer/lib	bringert
2005-11-30	Moved class stuff to prelude.	bringert
2005-11-30	Transfer: Ord extends Eq.	bringert
2005-11-30	Fixed typo in overload.tr.	bringert
2005-11-30	Transfer: fleshed out overloading examples.	bringert
2005-11-30	Added transfer Maybe module.	bringert
2005-11-30	Remove more useless pattern matching and variable bindings in transfer compil...	bringert
2005-11-29	Added example of composOp overloading to overload.tr.	bringert
2005-11-29	Split widesnake example. Changed examples to use rec and sig keywords.	bringert
2005-11-29	Added stoneage transfer example.	bringert
2005-11-29	Added numerals example.	bringert
2005-11-29	Made layout test example more compilcated.	bringert
2005-11-28	Transfer compiler: extended variable removal to variables bound in case expre...	bringert
2005-11-28	Fixed transfer composOp generation to support tree types that don't take a si...	bringert
2005-11-28	Changed all example programs to use layout syntax.	bringert
2005-11-28	Changed exp.tr to use layout syntax and the Cat type.	bringert
2005-11-25	Move transfer into the GF repo.	bringert