Implement Div, Mod, and Log for type-level nats.
[ghc.git] / libraries / base / GHC / TypeNats.hs
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