/hs-to-coq

Convert Haskell source code to Coq source code

Primary LanguageCoqMIT LicenseMIT

Watchers