LambdaCalculusInterpreters:两种lambda演算的解释器:一种解释器,一种解释器,其类型为int,bool和pair。

时间:2024-02-25 00:00:01
【文件属性】:

文件名称: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)

网友评论