Haskell Type Classes in Coq

A write up for common Haskell typeclasses for use with Coq to help prove properties about instances to hopefully aid in findings bugs in implementations early.

Still a work in progress.

Name		Name	Last commit message	Last commit date
Latest commit History 23 Commits
src		src
.gitignore		.gitignore
Haskell.v		Haskell.v
Makefile		Makefile
README.md		README.md
generate-documentation.sh		generate-documentation.sh

Navigation Menu

Repository files navigation

Haskell Type Classes in Coq

About

Releases

Packages

Contributors

Languages

Folders and files

Latest commit

History

Repository files navigation

Haskell Type Classes in Coq

About

Resources

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages