FreeProving/free-compiler

A Haskell to Coq compiler that represents effectful programs with the free monad

HaskellStars 45Forks 3Watchers 45Open issues 23License BSD 3-Clause "New" or "Revised" License

Details

仓库信息

OwnerFreeProving

Last pushed2022-05-31

Last updated2025-12-15

Issues fetched at—

Community at a glance