[Initial darcs import.
bringert@cs.chalmers.se**20051114172602] 
[Added case and records.
bringert@cs.chalmers.se**20051114174543] 
[Added interpreter and a test program.
bringert@cs.chalmers.se**20051114210620] 
[Changed name of syntax test programs.
bringert@cs.chalmers.se**20051115202657] 
[Added record, string and integer patterns. Made evaluation strict.
bringert@cs.chalmers.se**20051115202715] 
[Allow wildcards in lambda and pi.
bringert@cs.chalmers.se**20051116125402] 
[Added front-end grammar.
bringert@cs.chalmers.se**20051116130506] 
[Added TODO.
bringert@cs.chalmers.se**20051116130721] 
[Added beginnings of compiliation from source to core.
bringert@cs.chalmers.se**20051116142356] 
[Removed TODO about variables in PI expressions, since it has been implemented.
bringert@cs.chalmers.se**20051116145443] 
[Added a bunch of builtins.
bringert@cs.chalmers.se**20051116154952] 
[Added operators and pattern equations to front-end. Changed examples to use the new syntax.
bringert@cs.chalmers.se**20051118140212] 
[Added natToInt, removed some useless bindings.
bringert@cs.chalmers.se**20051118140414] 
[REmoved some fixed TODOs.
bringert@cs.chalmers.se**20051118140527] 
[Added some TODOs
bringert@cs.chalmers.se**20051118140710] 
[Some fixes to environment and primities.
bringert@cs.chalmers.se**20051118184812] 
[Fixed apttern bugs in examples. Fixed environment handling when loading a module.
bringert@cs.chalmers.se**20051121105531] 
[Added some comments to the front end grammar.
bringert@cs.chalmers.se**20051121142525] 
[More syntax documentation.
bringert@cs.chalmers.se**20051121144714] 
[Added an unused rename function.
bringert@cs.chalmers.se**20051121153752] 
[Implement imports. Eta-expand constructor applications.
bringert@cs.chalmers.se**20051122102114] 
[Remove unneccessary pattern matching. Do beta reductions. Fixed precendence problem in constructor applications.
bringert@cs.chalmers.se**20051122173852] 
[Added a primitive interactive interpreter.
bringert@cs.chalmers.se**20051122175543] 
[Allow normal application of constructors in the interpreter.
bringert@cs.chalmers.se**20051122180230] 
[Remove wild card patterns and patterns which only bind unused variables.
bringert@cs.chalmers.se**20051122185917] 
[Added InterpreterAPI.
bringert@cs.chalmers.se**20051122192418] 
[Some TODO fixes.
bringert@cs.chalmers.se**20051122192617] 
[Added disjunctive and negated patterns to TODO.
bringert@cs.chalmers.se**20051123111512] 
[Use composOpFold instead of adding a monoid instance for Int.
bringert@cs.chalmers.se**20051123123226] 
[Added preliminaries for deriving functions.
bringert@cs.chalmers.se**20051123131835] 
[Allow identifiers in core to start with underscore.
bringert@cs.chalmers.se**20051123134651] 
[Added fibnoacci function.
bringert@cs.chalmers.se**20051123140913] 
[Removed premature constructor application hacks.
bringert@cs.chalmers.se**20051123140922] 
[Allow constructor patterns without parantheses in case expressions.
bringert@cs.chalmers.se**20051123164134] 
[Added fibNat.
bringert@cs.chalmers.se**20051123164535] 
[Report file name in parse error messages.
bringert@cs.chalmers.se**20051123171058] 
[Fixed derive production. Finished composOp generation.
bringert@cs.chalmers.se**20051123174222] 
[Separate constructor declarations with ;.
bringert@cs.chalmers.se**20051123174314] 
[Changed constructor declaration separator in core to semicolon.
bringert@cs.chalmers.se**20051123180248] 
[Added exp example.
bringert@cs.chalmers.se**20051123180352] 
[Removed recursive calls on non-tree types in composOp generation. Gave type constructors constructor values in interpreter.
bringert@cs.chalmers.se**20051123182805] 
[Use monomorphic list in exp example.
bringert@cs.chalmers.se**20051123183236] 
[Prepared for supporting layout syntax in the front-end.
bringert@cs.chalmers.se**20051123193132] 
[Added layout test program.
bringert@cs.chalmers.se**20051123194755] 
[Commented Core.cf.
bringert@cs.chalmers.se**20051123205733] 
[Added layout.tr.
bringert@cs.chalmers.se**20051123210809] 
[Improved support for layout syntax.
bringert@cs.chalmers.se**20051123233249] 
[Layout-related TODOs.
bringert@cs.chalmers.se**20051124092848] 
[Let now takes a list of definitions.
bringert@cs.chalmers.se**20051124105720] 
[Changed terminator to separator in Core grammar.
bringert@cs.chalmers.se**20051124170237]