Alex Rivera | Logout

Questions tagged church-encoding

1 question

Sort by: Newest Votes Active
20
votes
3
answers

Subtraction of church numerals in haskell

haskell lambda-calculus church-encoding
asked 2011-07-06T11:38:51.467