HN
Hacker News
Top
New
Best
Ask
Show
Jobs
wilcoxjay
43 karma · joined February 24, 2014
submissions
comments
Hs-to-coq: Haskell to Coq converter
github.com
·
2 pts
·
wilcoxjay
·
0