Hs-to-coq: Haskell to Coq converter Posted by wilcoxjay on Monday May 01, 2017 @02:21PM from the github.com dept. https://github.com/antalsz/hs-to-coq ( no comments | 2 points | on HN )
There are no comments yet.