H

haskell-to-coq-compiler

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

Project badge