... | ... | @@ -79,6 +79,7 @@ The above commentary covers the source code of GHC. For material that doesn't co |
|
|
|
|
|
- [SQL-Like Comprehensions](sql-like-comprehensions): Notes on the ongoing implementation of SPJs "Comprehensive Comprehensions".
|
|
|
- [Type level naturals](type-nats)
|
|
|
- [Kind level](ghc-kinds): Notes on the theory, design and implementation of a kind level by promotion of data types.
|
|
|
- [Proposal to add a kind for facts, e.g. class constraints](kind-fact)
|
|
|
- [Polymorphic Dynamic](polymorphic-dynamic): Notes on adding ad-hoc polymorphic dynamic types
|
|
|
- [Proposal to allow classes to give default implementations for their superclasses](default-superclass-instances)
|
... | ... | |