idris-malfunction:Idris的实验性故障后端

【文件属性】：
文件名称：idris-malfunction:Idris的实验性故障后端
文件大小：7KB
文件格式：ZIP
更新时间：2021-05-11 23:15:42
Haskell Idris后端故障 将Idris编译为 似乎进展很快： $ idris pythag.idr -o pythag-idris $ idris pythag.idr --codegen malfunction -o pythag-malfunction $ time ./pythag-idris > /dev/null real 0m13.102s user 0m13.084s sys 0m0.004s $ time ./pythag-malfunction > /dev/null real 0m1.096s user 0m1.092s sys 0m0.000s $

【文件预览】：
idris-malfunction-master
----idris-malfunction.cabal(861B)
----stack.yaml(2KB)
----LICENSE(1KB)
----pythag.idr(392B)
----src()
--------IRTS()
--------Main.hs(1KB)
----README.md(471B)