summaryrefslogtreecommitdiff
path: root/docs/core-spec/CoreSyn.ott
Commit message (Expand)AuthorAgeFilesLines
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-3/+12
* core-spec: Modify file paths according to new module hierarchyTakenobu Tani2020-05-271-27/+27
* Modules (#13009)Sylvain Henry2020-04-181-1/+1
* Update core spec to reflect changes to Core.Richard Eisenberg2020-03-201-0/+5
* core-spec: Modify `.lhs` to `.hs` (source files)Takenobu Tani2019-01-021-28/+28
* update core-spec for GRefl and re-factored Reflningning2018-07-271-3/+11
* Fix parse errors in core-spec.pdfRyan Scott2018-07-161-0/+3
* The Types section in Core-Spec doc is out-datedningning2018-07-121-2/+2
* Caching coercion roles in NthCo and coercionKindsRole refactoringTobias Dammers2018-04-201-2/+4
* core-spec: Add join points to formalismLuke Maurer2017-10-301-0/+35
* A bunch of typofixesGabor Greif2017-07-311-1/+1
* Update Core formalize for Levity -> RuntimeRepBen Gamari2017-02-071-3/+3
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-78/+141
* Fix the formal operational semantics (#10121)Richard Eisenberg2015-04-241-2/+6
* Improve core linter so it catches unsafeCoerce problems (T9122)Alexander Vershilov2015-03-071-0/+2
* Fix formatting bug in core-spec.Richard Eisenberg2014-09-181-0/+2
* Update to core-spec documentation.Richard Eisenberg2013-11-251-7/+23
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-14/+63
* Added operational semantics to docs/core-spec.Richard Eisenberg2013-07-311-13/+54
* Revise implementation of overlapping type family instances.Richard Eisenberg2013-06-211-1/+3
* Implement overlapping type family instances.Richard Eisenberg2012-12-211-12/+25
* Added GHC formalism to the GHC source tree.Richard Eisenberg2012-12-011-0/+283
View Lorry Controller Status