A Haskell to Coq compiler that represents effectful programs with the free monad
Home Page:https://freeproving.github.io/free-compiler
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool