GitHub repository: plclub/hs-to-coq
Primary language: Coq
Created: 2020-11-03T19:40:24Z
Description: Convert Haskell source code to Coq source code.