mezzohaskell/mezzohaskell — pull request #5 by DanielWaterworth (2012-03-25 14:08:15+00:00)
Title: Peano numbers and type level computation

This is an initial draft. I'm sure it could be improved so please share you critique. If you like this then I also have a chapter about fixed-point data types and recursion pattern in progress.