hs-to-coq/examples/containers/lib at master · antalsz/hs-to-coq · GitHub

This repository was archived by the owner on Nov 17, 2020. It is now read-only.

Name		Name	Last commit message	Last commit date
parent directory ..
Data		Data
Test/QuickCheck		Test/QuickCheck
Utils/Containers/Internal		Utils/Containers/Internal
BitTerminationProofs.v		BitTerminationProofs.v
CTZ.v		CTZ.v
IntSetValidity.h2ci		IntSetValidity.h2ci
IntSetValidity.v		IntSetValidity.v
IntWord.v		IntWord.v
Makefile		Makefile
Popcount.v		Popcount.v
README.md		README.md
_CoqProject		_CoqProject
edits		edits

README.md

This directory contains a Coq’ified version of the Haskell containers library Do not edit files here! Instead, look in examples/containers.