... | ... | @@ -19,6 +19,7 @@ |
|
|
- **Types**:
|
|
|
|
|
|
- Type-indexed type representations: [plan and status](typeable/ben-gamari)
|
|
|
- Record fields meta-ticket: #18598
|
|
|
- [TypeInType](dependent-haskell/phase1): [DependentHaskell](dependent-haskell), esp #12919 (outright bug)
|
|
|
- `TypeApplications`: [visible type application](type-application)
|
|
|
- [Custom type errors](proposal/custom-type-errors)
|
... | ... | |