14 lines
227 B
Text
14 lines
227 B
Text
|
||
# these are built in to the language
|
||
# true <- λ x, y: x
|
||
# false <- λ x, y: y
|
||
|
||
|
||
# there should be easy ways of inserting these special unicode math letters.
|
||
|
||
𝐼 <- λ x: x
|
||
|
||
𝑌 <- λ f: (λ x: f (x x)) (λ x: f (x x))
|
||
|
||
|
||
|