Hacker News new | ask | show | jobs
Hs-to-coq: Haskell to Coq converter (github.com)
2 points by wilcoxjay 3341 days ago