项目仓库: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)))