top | new | best | ask | show | jobs | submit

wilcoxjay's submissions

Hs-to-coq: Haskell to Coq converter (github.com)

2 pts| 8 years ago | discuss

page 1

powered by hn/api // news.ycombinator.com