Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Hs-to-coq: Haskell to Coq converter
github.com/antalsz
2 points
wilcoxjay
9 years ago
No comment yet
Hs-to-coq: Haskell to Coq converter | Heykuki News