-
Draft: Use checkTyEqRhs to make types concrete 0 of 2 checklist items completed!11308
-
WIP: Detecting corrupted interface files #18182 6 of 7 checklist items completed!3333
-
Draft: implement the new generalisation defaulting plan 0 of 1 checklist item completed!11237
-
WIP: Implement the “Constraint based arrow notation” proposal (and rewrite the arrow notation desugarer) 0 of 5 checklist items completed!3191
-
Make catch#, keepAlive#... only levity polymorphic 0 of 4 checklist items completed!11229
-
Draft: Reset solver state on failed defaulting proposal 0 of 3 checklist items completed!11195