Commits

Author Commit Message Labels Comments Date
Roshan Mathews
There is no type ifT - removed. Renamed param name->s in function lookup.
Roshan Mathews
Added a boolean type and conditionals to the simple type checker.
Roshan Mathews
First version of simple type checker.
Roshan Mathews
Commiting some old code left uncommited.
Roshan Mathews
Renamed files, removed -pt suffix.
Roshan Mathews
Added Recursion and Variables
Roshan Mathews
Modified Conditional: added a ifC to the core language.
Roshan Mathews
Init commit, after finishing mutations (upto 8.1 in book.)