... | ... | @@ -23,6 +23,7 @@ Tasks discussed by Richard and Simon. This page is mostly for our own notes, but |
|
|
- #17021: return kinds
|
|
|
- #16234: type family reduction
|
|
|
- #16980: meta tyvar leakage in TH
|
|
|
- #17225: infelicities in the pure unifier
|
|
|
|
|
|
# Roadmap of new stuff we want to get done
|
|
|
|
... | ... | |