Hs-to-coq: Haskell to Coq converter #1 Post by wilcoxjay » Mon, May 01, 2017, 6:21 PM UTC Hs-to-coq: Haskell to Coq convertergithub.com