delta/haskell.git - gitlab.haskell.org: ghc/ghc.git

	Commit message (Expand)	Author	Age	Files	Lines
*	Improve handling of data type return kindswip/T18300	Simon Peyton Jones	2020-07-03	1	-0/+40
*	core-spec: Modify file paths according to new module hierarchy	Takenobu Tani	2020-05-27	1	-20/+20
*	Modules: type-checker (#13009)	Sylvain Henry	2020-04-07	1	-3/+3
*	Update core spec to reflect changes to Core.	Richard Eisenberg	2020-03-20	1	-9/+26
*	core-spec: Modify `.lhs` to `.hs` (source files)	Takenobu Tani	2019-01-02	1	-22/+22
*	update core-spec for GRefl and re-factored Refl	ningning	2018-07-27	1	-6/+10
*	Caching coercion roles in NthCo and coercionKindsRole refactoring	Tobias Dammers	2018-04-20	1	-2/+2
*	core-spec: Add join points to formalism	Luke Maurer	2017-10-30	1	-41/+86
*	Add kind equalities to GHC.	Richard Eisenberg	2015-12-11	1	-129/+180
*	Fix the formal operational semantics (#10121)	Richard Eisenberg	2015-04-24	1	-4/+4
*	Improve core linter so it catches unsafeCoerce problems (T9122)	Alexander Vershilov	2015-03-07	1	-3/+5
*	Fix formatting bug in core-spec.	Richard Eisenberg	2014-09-18	1	-2/+2
*	Update to core-spec documentation.	Richard Eisenberg	2013-11-25	1	-1/+14
*	Fix Trac #8138.	Richard Eisenberg	2013-08-16	1	-1/+5
*	Implement "roles" into GHC.	Richard Eisenberg	2013-08-02	1	-45/+133
*	Revise implementation of overlapping type family instances.	Richard Eisenberg	2013-06-21	1	-8/+24
*	Implement overlapping type family instances.	Richard Eisenberg	2012-12-21	1	-9/+27
*	Added the docs/core-spec README	Richard Eisenberg	2012-12-01	1	-2/+0
*	Added GHC formalism to the GHC source tree.	Richard Eisenberg	2012-12-01	1	-0/+402