文件名称：haskell-exchange-2015:一切
文件大小：769KB
文件格式：ZIP
更新时间：2024-05-23 03:13:43
Agda
haskell-exchange-2015 我的，包括。 有关更多形式化的信息，请参见 。 用法 要自动检查所有文件： $ make 加载特定文件以进行交互使用： $ agda --safe -I -i src src/FILE.agda $ ghci -Wall -isrc src/FILE.hs $ idris -i src src/FILE.idr 使用Agda 2.4.2.3，Idris 0.9.19和GHC 7.8.4进行了测试。 关于 由制造。 在下发布。
【文件预览】：
haskell-exchange-2015-master
----src()
--------STLC.agda(1KB)
--------STLC.idr(933B)
--------STLC.hs(1KB)
----doc()
--------pdf()
----LICENSE.md(1KB)
----README.md(704B)
----Makefile(713B)
----.gitignore(23B)