summaryrefslogtreecommitdiff
path: root/docs/core-spec/core-spec.pdf
Commit message (Expand)AuthorAgeFilesLines
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-0/+0
* core-spec: Modify file paths according to new module hierarchyTakenobu Tani2020-05-271-0/+0
* Update core spec to reflect changes to Core.Richard Eisenberg2020-03-201-0/+0
* core-spec: Modify `.lhs` to `.hs` (generated PDF)Takenobu Tani2019-01-021-0/+0
* Update core-spec for Coercion QuantificationNingning Xie2018-10-251-0/+0
* update core-spec for GRefl and re-factored Reflningning2018-07-271-0/+0
* Modernize S_TPush in the core specRyan Scott2018-07-161-0/+0
* Fix parse errors in core-spec.pdfRyan Scott2018-07-161-0/+0
* The Types section in Core-Spec doc is out-datedningning2018-07-121-0/+0
* Caching coercion roles in NthCo and coercionKindsRole refactoringTobias Dammers2018-04-201-0/+0
* core-spec: Add join points to formalismLuke Maurer2017-10-301-0/+0
* core-spec: Simplify the handling of LetRecJoachim Breitner2017-04-241-0/+0
* Fix LaTeX in core-specJoachim Breitner2017-04-181-0/+0
* core-spec: Fix S_MatchDataJoachim Breitner2016-12-021-0/+0
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-0/+0
* Fix the formal operational semantics (#10121)Richard Eisenberg2015-04-241-0/+0
* Improve core linter so it catches unsafeCoerce problems (T9122)Alexander Vershilov2015-03-071-0/+0
* Fix formatting bug in core-spec.Richard Eisenberg2014-09-181-0/+0
* Fix glitch in core-spec pdfJan Stolarek2014-01-291-0/+0
* Regenerate core-spec.pdf.Richard Eisenberg2014-01-131-0/+0
* Update to core-spec documentation.Richard Eisenberg2013-11-251-0/+0
* Clarification in formalism concerning roles.Richard Eisenberg2013-09-091-0/+0
* Fix Trac #8138.Richard Eisenberg2013-08-161-0/+0
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-0/+0
* Fix Trac #8020.Richard Eisenberg2013-08-021-0/+0
* Added operational semantics to docs/core-spec.Richard Eisenberg2013-07-311-0/+0
* Revise implementation of overlapping type family instances.Richard Eisenberg2013-06-211-0/+0
* Implement overlapping type family instances.Richard Eisenberg2012-12-211-0/+0
* Added GHC formalism to the GHC source tree.Richard Eisenberg2012-12-011-0/+0
View Lorry Controller Status