lastland/coq-ghc-base

This directory contains a Coq’ified version of the Haskell base library Do not edit files here! Instead, look in examples/base-src.