Support for writing GHC passes in Coq16-Apr-2011: Now branching from the official ghc base git repo 19-Mar-2011: Things should be working again; I did my own darcs-to-git on the base repo 12-Mar-2011: The “base” repository has moved from darcs to git 10-Mar-2011: The repository names have changed; see below In order to implement heterogeneous metaprogramming for GHC, I have produced a complete formalization of System FC1 in Coq. The
