Data.Numerals
Description
Illustration of the 2-order lambda-calculus, using Church numerals as an example. The example shows limited impredicativity
http://okmij.org/ftp/Haskell/types.html#some-impredicativity
liboleg-2010.1.9.0: An evolving collection of Oleg Kiselyov's Haskell modules
Data.Numerals
Description
Illustration of the 2-order lambda-calculus, using Church numerals as an example. The example shows limited impredicativity
http://okmij.org/ftp/Haskell/types.html#some-impredicativity