GitHub repository: jwiegley/coq-haskell
Primary language: Coq
Description: A library for formalizing Haskell types and functions in Coq