Gyh's Braindump

Church Numeral

A representation of the natural numbers using lambda notation.

Links to this note