艾尔莎（Elsa）：艾尔莎（Elsa）是Lambda演算评估师

【文件属性】：
文件名称：艾尔莎（Elsa）：艾尔莎（Elsa）是Lambda演算评估师
文件大小：25KB
文件格式：ZIP
更新时间：2021-02-04 03:34:03
haskell lambda-calculus reduction haskell-learning HaskellHaskell 艾尔莎（Elsa）：艾尔莎（Elsa）是Lambda演算评估师

【文件预览】：
elsa-master
----stack.yaml(97B)
----tests()
--------timeout()
--------ok()
--------invalid()
--------dupeval()
--------dupdefn()
--------Test.hs(4KB)
--------further()
----LICENSE(1KB)
----src()
--------Language()
--------Main.hs(69B)
----Setup.hs(46B)
----.gitignore(422B)
----elsa.cabal(2KB)
----README.md(5KB)