... | ... | @@ -34,6 +34,7 @@ The compiler itself is written entirely in Haskell, and lives in the many sub-di |
|
|
- [The Cmm language](commentary/compiler/cmm-type)
|
|
|
- [Back end types](commentary/compiler/back-end-types)
|
|
|
|
|
|
- [The solve for type-level naturals](commentary/compiler/type-nat-solver)
|
|
|
- [Data types](commentary/compiler/data-types)
|
|
|
- [The GHC API](commentary/compiler/api)
|
|
|
- [Symbol names and the Z-encoding](commentary/compiler/symbol-names)
|
... | ... | |