... | ... | @@ -22,6 +22,7 @@ |
|
|
- [Custom type errors](proposal/custom-type-errors)
|
|
|
- [TypeErrorMessages](status/type-error-messages)
|
|
|
- [Typed holes](holes)
|
|
|
- [PartialTypeSignatures](partial-type-signatures)
|
|
|
- [Impredicative types](impredicative-polymorphism)
|
|
|
- [Functional dependencies](fun-deps)
|
|
|
- [Roles, Coercible and coerce](roles)
|
... | ... | |