VictorTaelin/Interaction-Calculus
@VictorTaelin完美符合最优化 λ-演算归约算法的编程语言与计算模型。
星数
948
Fork 数
70
语言
C
许可
—
最后推送
10个月前
相关情报（0）
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
完美符合最优化 λ-演算归约算法的编程语言与计算模型。
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。