文件名称：lambda-calculus:在列表中实现的 Lambda 演算抽象
文件大小：2KB
文件格式：ZIP
更新时间：2024-06-24 11:11:55
Racket
λ演算 在 Racket 中实现的教堂编码。 版权所有 (c) 2015，Alexander cosm Smoktal 保留所有权利。 如果满足以下条件，则允许以源代码和二进制形式重新分发和使用，无论是否修改： 源代码的重新分发必须保留上述版权声明、此条件列表和以下免责声明。 以二进制形式重新分发必须在随分发提供的文档和/或其他材料中复制上述版权声明、此条件列表和以下免责声明。 本软件由版权所有者和贡献者“按原样”提供，并提供任何明示或暗示的保证，包括但不限于适销性和针对特定用途的适用性的暗示保证。 在任何情况下，版权所有者或贡献者均不对任何直接的、间接的、附带的、特殊的、惩戒性的或后果性的损害（包括但不限于购买替代服务商品、资源、或使用或业务中断），无论是基于任何责任理论，无论是合同、严格责任或侵权行为（包括疏忽或其他原因）因使用本软件而以任何方式引起的，即使是 P.S.
【文件预览】：
lambda-calculus-master
----README.md(1KB)
----lambda.rkt(3KB)