Fix a typo in the note name in comments
[ghc.git] / compiler / types / Coercion.hs-boot
2015-12-26  Richard EisenbergHave mkCastTy look more closely for reflexivity.
2015-12-11  Richard EisenbergAdd kind equalities to GHC.