一个 Lambda 演算的实现

[xieyuheng]

项目仓库：https://github.com/cicada-lang/lambda

例子：

(define (true t f) t)
(define (false t f) f)

(define (if p t f) (p t f))

(define (and x y) (if x y false))
(define (or x y) (if x true y))
(define (not x) (if x false true))

(and true false)
(not (not (or true false)))