Haskell-Coq-Base
A small base project using stack to combine Haskell and Coq extracted code.
Haskell + Coq base project
A small base project using stack to combine Haskell and Coq extracted code.
Haskell + Coq base project
BSD 3-Clause "New" or "Revised" License