文件名称：tt-homeworks:类型理论课程作业（ITMO CTD）
文件大小：17KB
文件格式：ZIP
更新时间：2024-06-18 06:45:59
Haskell
tt-家庭作业 该文件夹包含一个小脚本run.sh ，它允许您方便地运行绕过 Cabal 的程序。 用法： taskN.in ./run.sh N ，其中N是./run.sh N编号（从taskN.in文件输入，输出到taskN.out文件） 另外，为了测试方便，作业附上了一个实用程序——一个lambda生成器。 它将模板文件作为输入并将完成的 lambda 表达式输出到输出文件。 模板文件语法的示例可以在task4.tpl文件中找到。 您可以像这样运行生成器： ./run.sh gen <файл_шаблона> <выходной_файл>
【文件预览】：
tt-homeworks-master
----.gitignore(6B)
----task4.out(486B)
----task2.in(21B)
----src()
--------Main4.hs(299B)
--------Substitutions.hs(975B)
--------Parser.hs(2KB)
--------Main2.hs(358B)
--------Setup.hs(46B)
--------Inference.hs(3KB)
--------Main3.hs(779B)
--------Main5.hs(475B)
--------ParserUtils.hs(351B)
--------Main6.hs(654B)
--------Utils.hs(1KB)
--------LambdaGen.hs(1KB)
--------Main1.hs(589B)
--------Equation.hs(2KB)
--------Eval.hs(1KB)
--------LambdaType.hs(2KB)
----task3.in(37B)
----task1.out(49B)
----task4.in(304B)
----task6.out(23B)
----task2.out(5B)
----README.md(914B)
----task6.tpl(366B)
----run.sh(116B)
----task4.tpl(564B)
----task5.in(24B)
----TTHomework.cabal(3KB)
----TAGS(3KB)
----task5.out(31B)
----task1.in(37B)
----task6.in(488B)
----task3.out(82B)