... | @@ -11,6 +11,7 @@ |
... | @@ -11,6 +11,7 @@ |
|
- [Impredicative types](impredicative-polymorphism)
|
|
- [Impredicative types](impredicative-polymorphism)
|
|
- [ArrowNotation](arrow-notation)
|
|
- [ArrowNotation](arrow-notation)
|
|
- [Functional dependencies](fun-deps)
|
|
- [Functional dependencies](fun-deps)
|
|
|
|
- [Roles, Coercible and coerce](roles)
|
|
- [Injective type families](injective-type-families)
|
|
- [Injective type families](injective-type-families)
|
|
- [TemplateHaskell](template-haskell)
|
|
- [TemplateHaskell](template-haskell)
|
|
- [Inlining](inlining)
|
|
- [Inlining](inlining)
|
... | | ... | |