... | @@ -4,6 +4,7 @@ Tasks discussed by Richard and Simon. This page is mostly for our own notes, but |
... | @@ -4,6 +4,7 @@ Tasks discussed by Richard and Simon. This page is mostly for our own notes, but |
|
# Active agenda
|
|
# Active agenda
|
|
|
|
|
|
- Get rid of deep-skol and deep-inst. Needs a new ticket. See Slack.
|
|
- Get rid of deep-skol and deep-inst. Needs a new ticket. See Slack.
|
|
|
|
- !1711: injectivity checking patch. Reduction depth especially.
|
|
- #17024: `anyRewritableTyVar` and related gubbins
|
|
- #17024: `anyRewritableTyVar` and related gubbins
|
|
- #16726: document conclusions
|
|
- #16726: document conclusions
|
|
- Improve doc of `ir_inst`: #17173
|
|
- Improve doc of `ir_inst`: #17173
|
... | | ... | |