一个 Lambda 演算的实现

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

这是一个创建于 985 天前的主题，其中的信息可能已经有所发展或是发生改变。

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

目前尚无回复

define false true not