GitHub repository: FreeProving/free-compiler
Primary language: Haskell
Description: A Haskell to Coq compiler that represents effectful programs with the free monad