【文件属性】：
文件名称：lambda-except
文件大小：18KB
文件格式：ZIP
更新时间：2021-04-27 12:51:30
Haskell
建造
带阴谋
cabal sandbox init
cabal install
带堆叠
stack build
运行解释器/ REPL
因此，二进制文件在您的路径中：
stack install
lambda-except test.lambda
退出口译员
Ctrl-C
参考
通用类型系统介绍； 由Henk Barendregt撰写。
证明和类型； 吉拉德（Girard），拉封（Lafont）和泰勒（Taylor）。
【文件预览】：
lambda-except-master
----Setup.hs(46B)
----Main.hs(2KB)
----parsing-errors.lambda(258B)
----Eval.hs(3KB)
----PrettyPrint.hs(6KB)
----UniqMap.hs(2KB)
----wrong.lambda(36B)
----LICENSE(1KB)
----AST.hs(8KB)
----test.lambda(324B)
----README.md(495B)
----Parser.hs(6KB)
----Lexer.hs(5KB)
----stack.yaml(930B)
----TypeCheck.hs(5KB)
----lambda-except.cabal(2KB)
----Errors.hs(3KB)