文件名称：lambda_calculus
文件大小：15KB
文件格式：ZIP
更新时间：2024-05-19 02:04:18
C++
lambda_calculus 具有各种功能的lambda_calculus库。 特征： 解析器生成器，可以生成可以解析某些组合逻辑代码（TMP）的解析器 使用解析器生成器（TMP）的BCKW和Iota的解析器 教堂数字（TMP） 教会数字和布尔逻辑接口到C ++ TMP代码 命题逻辑（TMP） 组合器演算（TMP） 数据结构，例如列表和对（TMP） Y组合器（TMP） 能够将TMP lambda演算代码转换为Runtime lambda演算对象。 打印，排序和测试运行时lambda演算对象是否相等。 构建和依赖关系： 仅标头。 需要助推。 需要-std = c ++ 1z。
【文件预览】：
lambda_calculus-master
----.gitignore(148B)
----LICENSE(7KB)
----README.md(745B)
----Compiletime()
--------Y_combinator.hpp(913B)
--------parser.hpp(6KB)
--------BCKW_system.hpp(2KB)
--------church_numeral.hpp(9KB)
--------SKI_combinator_calculus.hpp(1KB)
--------Iota.hpp(919B)
--------lambda_calculus.hpp(2KB)
--------propositional_logic.hpp(2KB)
--------list.hpp(471B)
--------test.hpp(5KB)
--------int.hpp(4KB)
--------pair.hpp(886B)
----lambda_calculus.pro(675B)
----Runtime()
--------lambda_calculus.hpp(5KB)
--------Compiletime_Runtime.hpp(1KB)
----main.cpp(2KB)