... | ... | @@ -7,8 +7,10 @@ |
|
|
- [TypeInType](dependent-haskell/phase1): [DependentHaskell](dependent-haskell), esp [\#12919](https://gitlab.haskell.org//ghc/ghc/issues/12919) (outright bug)
|
|
|
- `TypeApplications`: [visible type application](type-application)
|
|
|
- [Custom type errors](proposal/custom-type-errors)
|
|
|
- [TypeErrorMessages](status/type-error-messages)
|
|
|
- [ArrowNotation](arrow-notation)
|
|
|
- [Functional dependencies](fun-deps)
|
|
|
- [Injective type families](injective-type-families)
|
|
|
- [TemplateHaskell](template-haskell)
|
|
|
- [Inlining](inlining)
|
|
|
- [SpecConstr](spec-constr)
|
... | ... | |