Sugar for church encoding
Opened this issue · 0 comments
PaulMaynard commented
- Numbers:
5=>\f x. f (f (f (f (f x)))) - Pairs:
[a, b]* =>\f. f a b - Booleans:
true* =>\a b. a
* Syntax not final
Opened this issue · 0 comments
5 => \f x. f (f (f (f (f x))))[a, b]* => \f. f a btrue* => \a b. a* Syntax not final