Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Cross-package doc links are half-broken, let's not | Tom Smeding | 2025-06-30 |
* | 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 |