Examples

Church pairs

examples/pair.lbd

use "std.lbd"

p1 : (Number -> Number -> c) -> c = (pair 1 2)

(println (first p1))
(println (second p1))
(println (p1 add))

Output

1
2
3

Run it yourself from the repository root: lbd run examples/pair.lbd