package coq-haskell
A library to provide Haskell-familiar constructions in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
1.0.tar.gz
sha256=64b6958f4eca641b933977a047272dea00ef5ceff33206da66f10fe792dbf3f2
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:Computer Science/Data Types and Data Structures date:2022-03-29 logpath:HaskPublished: 30 Mar 2022
Dependencies
None
Dev Dependencies (1)
-
coq
(>= "8.10" & < "8.16~") | (= "dev")
Used by
None
Conflicts
None
On This Page