七个元操作

quote 自引用 atom 判断是否为”单元” eq 判断相等 car 返回表格第一个单元 cdr 返回除表头之外的表格单元 cons 建立表格 cond

lambda 演算



Published

17 March 2013