Add a `NOINLINE` pragma on `someNatVal` (#16586)
[ghc.git] / libraries / base / GHC / TypeNats.hs
2019-05-24  Iavor DiatchkiAdd a `NOINLINE` pragma on `someNatVal` (#16586)
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-07-16  Vladislav ZavialovDo not imply NoStarIsType by TypeOperators/TypeInType
2018-01-07  Ryan ScottMake the Div and Mod type families `infixl 7`
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-03  Ben Gamaribase: Add missing @since annotations in GHC.TypeNats
2017-10-03  Iavor DiatchkiImplement Div, Mod, and Log for type-level nats.
2017-09-13  David FeuerSimplify Data.Type.Equality.==
2017-02-02  Oleg GrenrusIntroduce GHC.TypeNats module, change KnownNat evidence...
2012-01-25  Iavor S. DiatchkiRename GHC.TypeNats to GHC.TypeList, cleanup, add type...
2012-01-25  Iavor S. DiatchkiChange extension name to match current GHC head.
2012-01-25  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-07  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2011-12-30  Iavor S. DiatchkiChange the representation of singletons from Integer...
2011-12-30  Iavor S. DiatchkiRemove all but the basics from the GHC module.
2011-12-29  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-06-20  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-06-19  Iavor S. DiatchkiSupport for TypeNats