没有合适的资源?快使用搜索试试~ 我知道了~
lambda-diagrams:lambda项归约序列的动画
共8个文件
hs:2个
md:2个
cabal:1个
需积分: 9 0 下载量 137 浏览量
2021-05-16
11:14:56
上传
评论
收藏 14KB ZIP 举报
温馨提示
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.zip (8个子文件)
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
共 8 条
- 1
资源评论
HMI前线
- 粉丝: 22
- 资源: 4590
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功