文件名称：Visual Lambda Calculator with Mind Maps-开源
文件大小：2.78MB
文件格式：ZIP
更新时间：2024-05-18 11:06:20
开源软件
我们引入了基于类型化思维导图的完全可视化表示形式，以表示纯无类型化Lambda计算器VLM的计算步骤。
【文件预览】：
notes.txt
Answers
----jjA2Ans.mm(709KB)
----jjL2Ans.mm(596KB)
----jjT2Ans.mm(121KB)
----jjL1Ans.mm(6KB)
----jjP1Ans.mm(238KB)
----jjA2Ans.mm.steps()
--------14.mm(498KB)
--------2.mm(61KB)
--------17.mm(4.25MB)
--------12.mm(91KB)
--------8.mm(40KB)
--------15.mm(173KB)
--------10.mm(67KB)
--------7.mm(36KB)
--------1.mm(25KB)
--------6.mm(46KB)
--------13.mm(419KB)
--------5.mm(40KB)
--------16.mm(4.34MB)
--------4.mm(46KB)
--------11.mm(112KB)
--------9.mm(44KB)
--------18.mm(4.03MB)
--------3.mm(70KB)
----jjT1Ans.mm(5KB)
----hanoiAns.mm.steps()
--------2.mm(105KB)
--------8.mm(2.86MB)
--------7.mm(2.94MB)
--------1.mm(83KB)
--------6.mm(7.03MB)
--------5.mm(5.54MB)
--------4.mm(558KB)
--------3.mm(357KB)
----jjL1Ans.mm.steps()
--------2.mm(27KB)
--------Combinators.mm(244KB)
--------7.mm(3KB)
--------1.mm(15KB)
--------6.mm(7KB)
--------5.mm(11KB)
--------4.mm(13KB)
--------3.mm(20KB)
----jjA1Ans.mm(181KB)
notes.mm
lcmmS.bat
lcmm.jar
Examples
----jjL1.mm(5KB)
----jjT2.mm(7KB)
----hanoi.mm(5KB)
----jjP1.mm(5KB)
----jjA1.mm(4KB)
----Combinators()
--------Combs_Arth.mm(5KB)
--------Combs_num10.mm(1KB)
--------Combs_num0.mm(2KB)
--------ComGroupList.mm(5KB)
--------STDCombinators.mm(5KB)
--------CombGroup1.mm(2KB)
--------ComGroupLogic.mm(4KB)
--------ComGroupLogicExt.mm(3KB)
--------number()
--------ComGroupPair.mm(5KB)
--------CombGroup2.mm(2KB)
--------Combs_number.mm(2KB)
----jjA2.mm(9KB)
----jjL2.mm(5KB)
----jjT1.mm(3KB)
app.bat
lcmm.bat