antalsz/hs-to-coq Issues
Pattern synonyms
Updated 1Qualify modules under base
Updated 1Universe polymorphism edits
Updated 8skip constructor
Closed 2skip constructor: expr_fvs
Closed 2skip constructor: eqExpr
Closed 1Prove debug assertions?
Closed 1don't remove asserts from GHC
Closed 1"Safe" axiomatization
Updated`add let type` edit
Closed 3Error building base.
Updated 2Better `rewrite` engine
Updated 2coq-haskell ?
Closed 3Rewrite for types
Updatedadd skip field edit
UpdatedParameterized `order` edits
Updated 4Pull out uniform fixpoint arguments
Updated 2Custom class info
UpdatedGarbage-collect code base
Updated