| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Permutations: withKnownPerm | Tom Smeding | 2025-06-29 |
| | | |||
| * | Add instance TestEquality Perm | Mikolaj Konarski | 2025-06-19 |
| | | |||
| * | Remove unnecessary LANGUAGE pragma | Tom Smeding | 2025-06-02 |
| | | |||
| * | Move modules Permutation and Types | Mikolaj Konarski | 2025-05-16 |
