antalsz/hs-to-coq

Convert Haskell source code to Coq source code

2 best points · 0 comments · 1 Hacker News post · 283 GitHub stars · View on GitHub

Hacker News discussions

• Hs-to-coq: Haskell to Coq converter (2 points, 0 comments, by wilcoxjay, 2017-05-01)