Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
hs-to-coq @ 81d0e8a		hs-to-coq @ 81d0e8a
show-int		show-int
.gitmodules		.gitmodules
README.md		README.md

Repository files navigation

hs-coq-opt

Optimising Haskell in Coq

No releases published

No packages published