{"id":"1711.09286","title":"Total Haskell is Reasonable Coq","url":"https://codeofpaper.com/paper/1711.09286","arxiv_url":"https://arxiv.org/abs/1711.09286","published":"2017-11-25","code":"official","best":{"full_name":"antalsz/hs-to-coq","url":"https://github.com/antalsz/hs-to-coq","tier":"official","stars":283,"license":"MIT","framework":null,"language":"Coq","last_commit":"2020-11-11T00:03:04"},"most_starred_community":null,"implementations":[{"full_name":"antalsz/hs-to-coq","url":"https://github.com/antalsz/hs-to-coq","tier":"official","stars":283,"license":"MIT","framework":null,"language":"Coq","last_commit":"2020-11-11T00:03:04"}],"possible_matches":0}