... | ... | @@ -24,7 +24,11 @@ The compiler itself is written entirely in Haskell, and lives in the many sub-di |
|
|
- [ModIface, ModDetails, ModGuts](commentary/compiler/module-types)
|
|
|
- [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)
|
|
|
- Types:
|
|
|
|
|
|
- [Types](commentary/compiler/type-type)
|
|
|
- [Kinds](commentary/compiler/kinds)
|
|
|
- [Equality types and coercions](commentary/compiler/fc)
|
|
|
- [The core language](commentary/compiler/core-syn-type)
|
|
|
- [The STG language](commentary/compiler/stg-syn-type)
|
|
|
- [The Cmm language](commentary/compiler/cmm-type)
|
... | ... | |