| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Make equal-rank-coercibility part of the interface of ListXmove-Rank | Tom Smeding | 22 hours |
| * | Apply some hlint hints | Mikolaj Konarski | 2 days |
| * | Tweak sized list type synonyms slightly | Mikolaj Konarski | 4 days |
| * | Officially describe the data invariant for ListX and the punched holes | Mikolaj Konarski | 5 days |
| * | Implement ListX as [] with strict pattern synonyms | Mikolaj Konarski | 5 days |
