substTy to substTyUnchecked to fix Travis build
[ghc.git] / compiler / types / CoAxiom.hs
2015-12-24  Simon Peyton JonesRefactoring only
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-09-21  Richard EisenbergRefactor BranchLists.
2015-09-03  Jan StolarekInjective type families
2015-08-02  Gabor GreifMake BranchFlag a new kind
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2015-01-06  Simon Peyton JonesRemove redundant constraints in the compiler itself...
2014-12-01  Herbert Valerio... unlit compiler/types/ modules