Natural numbers: proposal
Whitespace issues
Better error message for specific wrong regexes. Better errors would be nice
Worked out syntax for subtype, types can now have a ' on the end of their name
New file in cabal
Types can now have a ' on the end of their name
Fixed infinite loop
Natural numbers hierarchy
Leksah cabal layout
Got the build working
Lots of work on typechecker and example code