Skip to content

Top Best Ask Show New Jobs

wilcoxjay | Better HN

wilcoxjay

43 karmaJoined February 24, 20143 submissions

Recent submissions

1

Hs-to-coq: Haskell to Coq converter (opens in new tab)

(github.com)GitHub

2wilcoxjay9y ago0