... | @@ -38,6 +38,7 @@ |
... | @@ -38,6 +38,7 @@ |
|
- [Deriving generally](deriving-instances)
|
|
- [Deriving generally](deriving-instances)
|
|
- [Typeable](typeable)
|
|
- [Typeable](typeable)
|
|
- [QuantifiedConstraints](quantified-constraints)
|
|
- [QuantifiedConstraints](quantified-constraints)
|
|
|
|
- [Type-checker plugins](plugins/type-checker)
|
|
|
|
|
|
- **Optimisation**
|
|
- **Optimisation**
|
|
|
|
|
... | | ... | |