... | ... | @@ -25,7 +25,7 @@ Meanwhile, HEAD steams onward, with some preliminary work for the 7.10 milestone |
|
|
|
|
|
- **Kind equality and kind coercions** - TODO Richard
|
|
|
|
|
|
- **Partial type synonyms** - TODO Simon, Thomas
|
|
|
- **Partial type signatures** - TODO Simon, Thomas
|
|
|
|
|
|
## Back-end and runtime system
|
|
|
|
... | ... | |