Visual Lambda Calculator with Mind Maps-开源
需积分: 5 193 浏览量
2021-04-28
17:19:40
上传
评论
收藏 2.78MB ZIP 举报
vlcmm.zip （96个子文件） 
notes.txt 242B
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 1.53MB lcmmS.bat 117B
lcmm.jar 351KB 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 14.mm 290B genNum.bat 489B 2.mm 241B max.mm 311B 17.mm 302B 12.mm 282B 8.mm 265B 0.mm 793B 15.mm 294B lcmm.jar 342KB 10.mm 274B 7.mm 261B 1.mm 237B 6.mm 257B
GenNum.exe 17KB 13.mm 286B 5.mm 253B 16.mm 298B 19.mm 310B 4.mm 249B 11.mm 278B 9.mm 269B 18.mm 306B 3.mm 245B QNext.mm 9KB C_GenNum gennum.o 964B GenNum.exe 17KB Makefile.win 783B gennum.c 402B GenNum.dev 828B ComGroupPair.mm 5KB CombGroup2.mm 2KB Combs_number.mm 2KB jjA2.mm 9KB jjL2.mm 5KB jjT1.mm 3KB app.bat 70B lcmm.bat 69B资源评论
