ympbyc/Carrot — pull request #28 by ympbyc (2014-01-07 15:18:46+00:00)
Title: Typed

Rewrite type checker to make it tidier.
Re-enable REFG to make recursion work.
Temporary drop support for generic functions.