icyc0re/nblanguage — pull request #1 by espadrine (2012-09-28 17:03:58+00:00)
Title: Reductions: type checking

Using guards in the reductions avoids dealing with eg, (Succ True).