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