文件名称：lambda-diagrams:lambda项归约序列的动画
文件大小：14KB
文件格式：ZIP
更新时间：2024-06-05 05:01:36
lambda-calculus Haskell
Lambda图 免责声明：这不是Google的官方产品 John Tromp的图形表示法用于lambda术语的实现。 它在标准输入上读取一个lambda项，并对其评估进行动画处理。 这个展示了用此程序制作的动画。 用法： stack build stack exec lambda-diagrams < prog.lam avconv -framerate 10 -f image2 -i /tmp/out_d.png -c:v h264 -crf 1 lam.mp4
【文件预览】：
lambda-diagrams-master
----stack.yaml(626B)
----LICENSE(11KB)
----CONTRIBUTING.md(1KB)
----src()
--------Main.hs(13KB)
----Setup.hs(635B)
----prog.lam(4KB)
----README.md(600B)
----lambda-diagrams.cabal(1KB)