summaryrefslogtreecommitdiff
path: root/docs/core-spec
Commit message (Expand)AuthorAgeFilesLines
* 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` (generated PDF)Takenobu Tani2019-01-021-0/+0
* core-spec: Modify `.lhs` to `.hs` (source files)Takenobu Tani2019-01-024-80/+80
* Update core-spec for Coercion QuantificationNingning Xie2018-10-253-2/+12
* update core-spec for GRefl and re-factored Reflningning2018-07-275-15/+41
* Modernize S_TPush in the core specRyan Scott2018-07-162-2/+8
* Fix parse errors in core-spec.pdfRyan Scott2018-07-163-7/+25
* The Types section in Core-Spec doc is out-datedningning2018-07-123-7/+8
* Caching coercion roles in NthCo and coercionKindsRole refactoringTobias Dammers2018-04-204-5/+7
* core-spec: Add join points to formalismLuke Maurer2017-10-305-46/+197
* A bunch of typofixesGabor Greif2017-07-311-1/+1
* core-spec: Simplify the handling of LetRecJoachim Breitner2017-04-243-56/+24
* Fix LaTeX in core-specJoachim Breitner2017-04-182-1/+1
* Update Core formalize for Levity -> RuntimeRepBen Gamari2017-02-071-3/+3
* 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
* core-spec: Fix S_MatchDataJoachim Breitner2016-12-022-1/+2
* Add kind equalities to GHC.Richard Eisenberg2015-12-117-231/+389
* Fix the formal operational semantics (#10121)Richard Eisenberg2015-04-245-30/+48
* Improve core linter so it catches unsafeCoerce problems (T9122)Alexander Vershilov2015-03-074-3/+19
* Fix formatting bug in core-spec.Richard Eisenberg2014-09-183-2/+4
* Fix glitch in core-spec pdfJan Stolarek2014-01-292-1/+3
* Regenerate core-spec.pdf.Richard Eisenberg2014-01-131-0/+0
* fix a mistyped label that caused a stray referenceGabor Greif2014-01-121-1/+1
* Update to core-spec documentation.Richard Eisenberg2013-11-254-16/+53
* Clarification in formalism concerning roles.Richard Eisenberg2013-09-092-1/+4
* Fix Trac #8138.Richard Eisenberg2013-08-162-1/+5
* Implement "roles" into GHC.Richard Eisenberg2013-08-026-66/+247
* Fix Trac #8020.Richard Eisenberg2013-08-022-5/+9
* Added operational semantics to docs/core-spec.Richard Eisenberg2013-07-315-17/+226
* Revise implementation of overlapping type family instances.Richard Eisenberg2013-06-215-10/+42
* Update Makefile in docs/core-spec not to use latexmkRichard Eisenberg2013-04-241-1/+1
* Implement overlapping type family instances.Richard Eisenberg2012-12-214-24/+70
* Added the docs/core-spec READMERichard Eisenberg2012-12-012-2/+83
* Added GHC formalism to the GHC source tree.Richard Eisenberg2012-12-016-0/+1013
View Lorry Controller Status