David Klassen
Blog
RSS
2015-01-20:
Computing a Factorial with Church Numerals