Catch an illegal pragma and fix a typo
[packages/base.git] / GHC / TypeLits.hs
2013-06-26  Gabor GreifCatch an illegal pragma and fix a typo
2013-06-11  Gabor GreifFix some typos
2013-05-31  Iavor S. DiatchkiRedo and cleanup the change replacing `unsafe*` with...
2013-05-30  Ian LynaghRevert "Add code to convert from representation types...
2013-05-30  Iavor S. DiatchkiMerge branch 'master' of ssh://darcs.haskell.org/srv...
2013-05-27  Iavor S. DiatchkiMerge branch 'master' of ssh://darcs.haskell.org/srv...
2013-05-27  Iavor S. DiatchkiAdd code to convert from representation types, to exist...
2013-02-05  Gabor Greiftypo
2013-01-25  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-01-25  Gabor Greiftypos
2013-01-08  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//packages...
2013-01-08  Simon Peyton JonesComment out IsEven, isEven, and friends, because the...
2012-12-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/packages...
2012-12-22  Iavor S. DiatchkiAdd functions that compare singletons for equality...
2012-11-30  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-11-30  Gabor Greiftypo
2012-11-21  Gabor Greiftypo
2012-11-12  Iavor S. DiatchkiDeclare a family for subtraction.
2012-10-16  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-16  Iavor S. DiatchkiUpdate library to avoid using `Any` (also, replace...
2012-09-29  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master'
2012-09-29  Iavor S. DiatchkiAdd unary natural numbers to experiment on matching...
2012-09-09  Iavor S. DiatchkiAdd missing instances for (<=)
2012-06-07  Simon Peyton JonesMake Sing kind-polymorphic
2012-05-12  Iavor S. DiatchkiUpdate to support singleton types with custom implement...
2012-05-11  Iavor S. DiatchkiModify 'SingRep' to support arbitrary singleton types.
2012-05-01  Iavor S. DiatchkiAdd a type-family for comparing numbers.
2012-04-09  Iavor S. DiatchkiRewrite to use just one notion of singletons.
2012-03-24  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-22  Iavor S. DiatchkiRevert IsEven to the way it was.
2012-03-22  Iavor S. DiatchkiFix the type of IsEven
2012-03-20  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-20  Iavor S. DiatchkiAdd some useful functions for working with type literals.
2012-03-18  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-14  Iavor S. DiatchkiMerge branch 'master' into type-nats
2012-02-12  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-25  Iavor S. DiatchkiRename GHC.TypeNats to GHC.TypeList, cleanup, add type...