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