【文件属性】：
文件名称：lambda-diagrams:lambda项归约序列的动画
文件大小：14KB
文件格式：ZIP
更新时间：2021-05-16 11:14:56
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)