文件名称：idris-scheme:Idris的方案代码生成
文件大小：13KB
文件格式：ZIP
更新时间：2024-05-22 18:00:56
Haskell
Idris的方案后端 应该相当便携。
【文件预览】：
idris-scheme-master
----.gitignore(48B)
----stack.yaml(49B)
----README.md(56B)
----idris-scheme.cabal(1KB)
----examples()
--------pythag.idr(293B)
--------pythag.expected.txt(847B)
--------hello.idr(154B)
----LICENSE(2KB)
----.gitattributes(21B)
----src()
--------IRTS()
--------Util()
--------Main.hs(1KB)
----idris(8B)
----rts.scm(4KB)
----Makefile(313B)