STLC-to-SKI:从STLC到SKI演算的转换
需积分: 5 164 浏览量
2021-05-02
09:55:10
上传
评论
收藏 2KB ZIP 举报
STLC-to-SKI-master.zip （2个子文件） 
STLC-to-SKI-master 
ski.agda 4KB README.md 166B资源评论
合众丰城
- 粉丝: 22
- 资源: 4651
