package coq-haskell

You can search for identifiers within the package.

in-package search v0.2.0

A library to provide Haskell-familiar constructions in Coq

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

J

John Wiegley

Maintainers

J

johnw@newartisans.com

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.

Published: 22 Jul 2022

Dependencies

None

Dev Dependencies (1)

coq (>= "8.14" & < "8.17~") | (= "dev")

Used by (1)

coq-linearscan

Conflicts