| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Apply some hlint hints | Mikolaj Konarski | 7 days |
| * | Tweak sized list type synonyms slightly | Mikolaj Konarski | 9 days |
| * | Officially describe the data invariant for ListX and the punched holes | Mikolaj Konarski | 10 days |
| * | Implement ListX as [] with strict pattern synonyms | Mikolaj Konarski | 10 days |
