文件名称：idris2-hedgehog:Haskell Hedghog图书馆的Idris港口
文件大小：39KB
文件格式：ZIP
更新时间：2024-03-24 19:18:47
Idris
idris2-刺猬 Haskell Hedghog库的Idris端口。 这项工作仍在进行中，但是核心功能已经存在，并且正在制作。
【文件预览】：
idris2-hedgehog-main
----.gitignore(12B)
----README.md(194B)
----doc.ipkg(118B)
----LICENSE(1KB)
----src()
--------Data()
--------Hedgehog()
--------Doc()
--------Hedgehog.idr(387B)
----hedgehog.ipkg(545B)