Add kind equalities to GHC.
[ghc.git] / docs / core-spec / Makefile
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2014-04-19  Herbert Valerio... Fold template-haskell.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-gmp.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-simple.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold base.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold ghc-prim.git into ghc.git (re #8545)
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-07-31  Richard EisenbergAdded operational semantics to docs/core-spec.
2013-06-21  Richard EisenbergRevise implementation of overlapping type family instances.
2013-04-24  Richard EisenbergUpdate Makefile in docs/core-spec not to use latexmk
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2012-12-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-12-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-02  Ian LynaghMerge branch 'ticket-7442' of git://github.com/phonohaw...
2012-12-01  Richard EisenbergMerge branch 'master' of ssh://darcs.haskell.org/srv...
2012-12-01  Richard EisenbergAdded GHC formalism to the GHC source tree.