Hacker News new | ask | show | jobs
user: wilcoxjay
created: 2014-02-24
karma: 43

submissions:

Hs-to-coq: Haskell to Coq converter
2 points | 0 comments
0 points | 0 comments
0 points | 0 comments