| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Tune redundant cases for no-warnings on GHC 9.12 | Tom Smeding | 2025-10-02 |
| * | Compatibility with GHC 9.6 | Tom Smeding | 2025-10-02 |
| * | Port to ghc-typelits-natnormalise-0.8.1 that is much overhauledport-to-natnormalise-0.8.1 | Mikolaj Konarski | 2025-10-02 |
| * | 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 |
