H

haskell-to-coq-compiler

Project information

A compiler for the monadic translation from Haskell to Coq using the free monad.

926 Commits
7 Branches
1 Tag
1 Release

README
BSD 3-Clause "New" or "Revised" License

Created on

September 24, 2019

Loading