... | ... | @@ -19,7 +19,7 @@ Please feel free to add maaterial to this commentary: don't worry too much about |
|
|
- Key data types:
|
|
|
|
|
|
- [The source language: HsSyn](commentary/compiler/hs-syn-type)
|
|
|
- Names: [RdrName and OccName](commentary/compiler/rdr-name-type), [Name](commentary/compiler/name-type)
|
|
|
- [RdrNames, Modules, and OccNames](commentary/compiler/rdr-name-type), and [Names](commentary/compiler/name-type)
|
|
|
- [Entities](commentary/compiler/entity-types): variables, type constructors, data constructors, and classes.
|
|
|
- Types: [Type and Kind](commentary/compiler/type-type), [equality types and coercions](commentary/compiler/fc).
|
|
|
- [The core language](commentary/compiler/core-syn-type).
|
... | ... | |