-
Typeable fixed 0 of 7 checklist items completed!12667
-
base: Add inits1 and tails1 to Data.List 5 of 7 checklist items completed!12659
-
When matching functions in rewrite rules: ignore multiplicity 8 of 8 checklist items completed!12648