mikrokosmos：（λ）教育性λ演算解释器
(预估有个122文件)
.gitattributes
23B
paper.bib
3KB
Main.hs
8KB
Libraries.hs
7KB
Types.hs
9KB
Interpreter.hs
11KB
NamedLambda.hs
11KB
Lambda.hs
12KB
.gitmodules
319B
readtheorg.css
24KB
htmlize.css
10KB
rtd-full.css
100KB
mikrocode.css
240B
ocean.css
9KB
minus.gif
56B
style.css
575B
plus.gif
59B
goldenfile.golden
906B
.gitignore
313B
mikrokosmos.cabal
3KB
暂无评论