News for hackers. Stuff that matters.
Re:Church Numerals in C++ (and Haskell) by dons on Saturday April 24, 2010 @09:54PM (#1291970)
4) Implementing Turing-complete type level languages

:-)

There are no comments on this comment yet.