type check
Get type checker working correctly. Integrate the type checker into the execution flow. Fully type the functions in prelude.
accept improper definition statement
fix unification for function application
wrap
drop support for generic function for now
generic function type-checks
commit before removing expand-app
generic function finally works
Merge pull request #27 from ympbyc/typed

Typed