文件名称：Idris2-Grin:Idris2的GRIN后端
文件大小：8KB
文件格式：ZIP
更新时间：2024-03-25 12:16:50
Idris
伊德里斯2-格林 Idris2的GRIN后端。 设计使用咧嘴笑的编译器。 这仅适用于最新版本的idris2（v0.3.0 +），因为它依赖于最近添加的惰性标记。 想要的贡献 完成部分功能 PrimFn_函数 getConstTag 修复文字，以便将它们包装在适当的构造方法中（请参见getConstTag ） 测验
【文件预览】：
Idris2-Grin-main
----.gitignore(13B)
----README.md(439B)
----idris2-grin.ipkg(184B)
----LICENSE(1KB)
----src()
--------Main.idr(147B)
--------GRIN()