文件名称:LambdaCalculusInterpreters:两种lambda演算的解释器:一种解释器,一种解释器,其类型为int,bool和pair。
文件大小:16KB
文件格式:ZIP
更新时间:2024-02-25 00:00:01
programming-language lambda haskell interpreter parsing
LambdaCalculusInterpreters:两种lambda演算的解释器:一种解释器,一种解释器,其类型为int,bool和pair。
【文件预览】:
LambdaCalculusInterpreters-master
----untypedInterpreter()
--------fact.lc(763B)
--------Parse.hs(902B)
--------Data.hs(2KB)
--------Makefile(114B)
--------Eval.hs(2KB)
--------ParseBoilerplate.hs(2KB)
--------Main.hs(5KB)
----typedInterpreter()
--------fact.lc(87B)
--------Parse.hs(4KB)
--------Data.hs(5KB)
--------Type.hs(5KB)
--------Makefile(131B)
--------Eval.hs(8KB)
--------ParseBoilerplate.hs(2KB)
--------Main.hs(3KB)
----.gitignore(24B)
----README.md(2KB)