Visible kind application
[ghc.git] / docs / core-spec /
2019-01-02  Takenobu Tanicore-spec: Modify `.lhs` to `.hs` (generated PDF)
2019-01-02  Takenobu Tanicore-spec: Modify `.lhs` to `.hs` (source files)
2018-10-25  Ningning XieUpdate core-spec for Coercion Quantification
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-07-27  ningningupdate core-spec for GRefl and re-factored Refl
2018-07-16  Ryan ScottModernize S_TPush in the core spec
2018-07-16  Ryan ScottFix parse errors in core-spec.pdf
2018-07-12  ningningThe Types section in Core-Spec doc is out-dated
2018-04-20  Tobias DammersCaching coercion roles in NthCo and coercionKindsRole...
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-30  Luke Maurercore-spec: Add join points to formalism
2017-07-31  Gabor GreifA bunch of typofixes
2017-04-24  Joachim Breitnercore-spec: Simplify the handling of LetRec
2017-04-18  Joachim BreitnerFix LaTeX in core-spec
2017-02-08  Ben GamariUpdate Core formalize for Levity -> RuntimeRep
2017-01-20  Takano AkioAllow top-level string literals in Core (#8472)
2017-01-18  Gabor GreifTypos in comments only [ci skip]
2016-12-02  Joachim Breitnercore-spec: Fix S_MatchData
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-04-24  Richard EisenbergFix the formal operational semantics (#10121)
2015-03-07  Alexander VershilovImprove core linter so it catches unsafeCoerce problems...
2014-09-18  Richard EisenbergFix formatting bug in core-spec.
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-29  Jan StolarekFix glitch in core-spec pdf
2014-01-14  Richard EisenbergRegenerate core-spec.pdf.
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2014-01-12  Gabor Greiffix a mistyped label that caused a stray reference
2013-11-25  Richard EisenbergUpdate to core-spec documentation.
2013-09-09  Patrick PalkaMerge branch 'ghc-parmake-gsoc' (#910)
2013-09-09  Richard EisenbergClarification in formalism concerning roles.
2013-08-16  Richard EisenbergFix Trac #8138.
2013-08-02  Richard EisenbergImplement "roles" into GHC.
2013-08-02  Richard EisenbergFix Trac #8020.
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...
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-01  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-12-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-22  Richard EisenbergImplement overlapping type family instances.
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 the docs/core-spec README
2012-12-01  Richard EisenbergAdded GHC formalism to the GHC source tree.