Hs-to-coq: Haskell to Coq convertergithub.com2 points·wilcoxjay··0 commentsOpen articleSaveView on HN