文件名称：haskell-coq:用Coq（GALLINA）定理证明语言编写的常见Haskell类型类，用于证明有关Haskell数据类型和函数的属性[Coq]
文件大小：11KB
文件格式：ZIP
更新时间：2024-06-15 15:46:10
Coq
Coq中的Haskell类型类 编写与Coq一起使用的常见Haskell类型类的文章，以帮助证明有关实例的属性，以期希望能早日发现实现中的错误。 仍在进行中。
【文件预览】：
haskell-coq-master
----.gitignore(7B)
----README.md(218B)
----Haskell.v(5KB)
----src()
--------Haskell.v(171B)
--------types()
--------classes()
----generate-documentation.sh(846B)
----Makefile(1KB)