Programming Language Theory Flashcard
What
Books
Concepts
Deckpure-lambda-calculus
Question
What's special about 0 and fls in church encoding?
Answer
0 in Church numerals: .
false in Church booleans: .
-> Identical.
Question
What's special about 0 and fls in church encoding?
Answer
0 in Church numerals: .
false in Church booleans: .
-> Identical.