package coq-haskell
A library to provide Haskell-familiar constructions in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
1.1.tar.gz
sha256=66243d54a6ff551a9ec762d69e5ff6a09869e7d5ce6504fa3a63350efde03720
Description
This library is designed for Haskell users who are either using Coq to build code intended for extraction to Haskell, or who wish to prototype/prove their algorithms in Coq. It provides a collection of definitions and notations to make Gallina more familiar to Haskellers.
Tags
keyword:haskell category:Miscellaneous/Coq Extensions date:2022-07-22 logpath:HaskPublished: 22 Jul 2022
Dependencies
None
Dev Dependencies (1)
-
coq
(>= "8.14" & < "8.17~") | (= "dev")
Used by (1)
Conflicts
None
On This Page