HN Explorer

wilcoxjay

↗ HN profile [ 469 ms ] full profile
Karma
43
Created
February 24, 2014 (12y ago)
Submissions
0
  1. Hs-to-coq: Haskell to Coq converter (github.com)
    2 points 0