-
-
Don't restrict eta-reduction of linear functions 7 of 7 checklist items completed!13127
-
-
-
-
-
Support multiline strings in TH 7 of 7 checklist items completed!13125
-
Ensures that omitted record fields in pattern have multiplicity Many 7 of 7 checklist items completed!12947
-
Rework lowering of BigNat# literals in CorePrep 2 of 2 checklist items completed!12179
-
-
-
-
-
-
-
-
-
-
-