2006-11-27 Michael Andreenminor change master
2006-03-15 Michael Andreensmall fix
2006-03-15 Michael Andreenbetter semantics and show div by zero errors earlier
2006-03-15 Michael AndreenliftM
2006-03-15 Michael Andreenmore generic type declaration and evaluates input directly
2006-03-15 Michael AndreenErrorT instead..
2006-03-14 Michael Andreensemantics and some more typing rules
2006-03-14 Michael Andreenupdating documentation
2006-03-14 Michael Andreenupdating documentation
2006-03-14 Michael Andreencompiler seems to be working
2006-03-14 Michael Andreenminor stuff
2006-03-14 Michael Andreensmaller update
2006-03-14 Michael Andreenmerged changes to function branch
2006-03-14 Michael AndreenCompInt, integrated compiler and interpreter for the...
2006-03-14 Michael AndreenCompInt, integrated compiler and interpreter for the...
2006-03-14 Michael Andreenmost of the semantics added
2006-03-11 Michael Andreenfoldr and zip instead of my own function
2006-03-11 Michael Andreenrejects functions without return statements
2006-03-11 Michael AndreenInterpreter works
2006-03-11 Michael Andreeninterpreter compiles
2006-03-11 Michael Andreentypechecker seems to work for function calls
2006-03-11 Michael Andreentypechecking of functions added, not function calls...
2006-03-11 Michael Andreentypechecker compiles and is compatible with old program...
2006-03-11 Michael Andreenparsing works
2006-03-11 Michael Andreenadded branch for implementing functions
2006-03-10 Michael AndreenreadBool now reads integer values, where 0 is false...
2006-03-10 Michael Andreenadded two new examples
2006-03-10 Michael Andreenreplace E with in
2006-03-10 Michael Andreenmajor update of the natural deduction
2006-03-10 Michael Andreenadded constructor for declaration with default value
2006-03-02 Michael Andreenintroduced pushAndPop in the typechecker too
2006-03-02 Michael Andreenadded pushAndPop function to push and pop the scope
2006-03-02 Michael Andreenremoved NoType and EDefault and added assert
2006-03-01 Michael Andreenfully functional and C99 (not C90) compliant output
2006-03-01 Michael Andreenadding compiler
2006-03-01 Fredrik MöllerstrandYEAH
2006-03-01 Michael Andreeninterpreter seems to work
2006-03-01 Michael Andreeninitial commit of interpreter
2006-03-01 Michael Andreenminor stuff
2006-02-28 Fredrik Möllerstrandtyping rules in documentation
2006-02-28 Michael Andreensmll stuff
2006-02-28 Michael Andreenb not in scope
2006-02-28 Michael Andreensupport for scope
2006-02-28 Michael Andreenadded not
2006-02-27 Michael Andreenminor stuff
2006-02-27 Michael Andreensome restructuring
2006-02-27 Michael Andreentypechecker finds redeclaration of a variable
2006-02-27 Michael Andreenadded some more typeerrors
2006-02-27 Michael Andreenstreamlined the binary operators
2006-02-26 Michael Andreenmoved modified Testsyntax to Typechecker to keep the...
2006-02-26 Michael Andreenchanged the documentation
2006-02-26 Michael Andreenremoved most shift/reduce conflicts by moving EAss...
2006-02-24 Michael Andreenneeded
2006-02-24 Michael Andreenneeded
2006-02-24 Michael Andreendone?
2006-02-24 Michael Andreenhopefully compiles properly
2006-02-24 Michael Andreentypechecker compiles but can't be run
2006-02-24 Michael Andreenmore or less done with the syntx
2006-02-18 Michael Andreenstreamlining the abstract syntax
2006-02-16 Michael Andreenupdated syntax to use define
2006-02-10 Michael AndreenRemoved assignments as variables
2006-02-07 Michael Andreenexplained the shift/reduce conflicts
2006-02-07 Michael Andreenmoved comments to examples
2006-02-07 Michael Andreeninitial commit