没有合适的资源?快使用搜索试试~ 我知道了~
LCI - A lambda calculus interpeter-开源
共9个文件
dll:3个
txt:2个
pdf:1个
0 下载量 35 浏览量
2021-04-26
04:38:57
上传
评论
收藏 1024KB ZIP 举报
温馨提示
LCI是lambda演算的解释器。 它支持许多高级功能,例如整数,递归,用户定义的运算符和多种评估策略。
资源详情
资源评论
资源推荐
收起资源包目录
lci-0.6-win32.zip (9个子文件)
lci-0.6-win32
COPYING.txt 18KB
cygncurses-8.dll 237KB
queens.lci 1KB
README.txt 5KB
cygwin1.dll 1.79MB
lci.exe 94KB
lcidoc.pdf 92KB
.lcirc 4KB
cygreadline6.dll 155KB
共 9 条
- 1
量子学园
- 粉丝: 22
- 资源: 4734
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论0