summaryrefslogtreecommitdiff
path: root/docs/core-spec/core-spec.mng
Commit message (Expand)AuthorAgeFilesLines
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-0/+31
* core-spec: Modify file paths according to new module hierarchyTakenobu Tani2020-05-271-19/+19
* Modules (#13009)Sylvain Henry2020-04-181-4/+5
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-1/+1
* Update core spec to reflect changes to Core.Richard Eisenberg2020-03-201-11/+36
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-041-1/+1
* Fix more typosBrian Wignall2019-12-021-1/+1
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-251-2/+2
* core-spec: Modify `.lhs` to `.hs` (source files)Takenobu Tani2019-01-021-27/+27
* Update core-spec for Coercion QuantificationNingning Xie2018-10-251-1/+9
* update core-spec for GRefl and re-factored Reflningning2018-07-271-4/+18
* The Types section in Core-Spec doc is out-datedningning2018-07-121-5/+6
* Caching coercion roles in NthCo and coercionKindsRole refactoringTobias Dammers2018-04-201-1/+1
* core-spec: Add join points to formalismLuke Maurer2017-10-301-5/+72
* core-spec: Simplify the handling of LetRecJoachim Breitner2017-04-241-15/+3
* Fix LaTeX in core-specJoachim Breitner2017-04-181-1/+1
* Allow top-level string literals in Core (#8472)Takano Akio2017-01-201-1/+3
* Typos in comments only [ci skip]Gabor Greif2017-01-181-1/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-20/+63
* Fix the formal operational semantics (#10121)Richard Eisenberg2015-04-241-6/+8
* Improve core linter so it catches unsafeCoerce problems (T9122)Alexander Vershilov2015-03-071-0/+12
* Fix glitch in core-spec pdfJan Stolarek2014-01-291-1/+3
* fix a mistyped label that caused a stray referenceGabor Greif2014-01-121-1/+1
* Update to core-spec documentation.Richard Eisenberg2013-11-251-8/+16
* Clarification in formalism concerning roles.Richard Eisenberg2013-09-091-1/+4
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-5/+49
* Fix Trac #8020.Richard Eisenberg2013-08-021-5/+9
* Added operational semantics to docs/core-spec.Richard Eisenberg2013-07-311-3/+74
* Revise implementation of overlapping type family instances.Richard Eisenberg2013-06-211-1/+14
* Implement overlapping type family instances.Richard Eisenberg2012-12-211-3/+18
* Added GHC formalism to the GHC source tree.Richard Eisenberg2012-12-011-0/+306
View Lorry Controller Status