aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Permutation.hs
Commit message (Expand)AuthorAge
* Optimize the representation of ListHrepro-UNPACKMikolaj Konarski31 hours
* Inline SMayNat in ListHMikolaj Konarski31 hours
* Clone ListX into ListHMikolaj Konarski31 hours
* Simplify the signature of fooIndexMikolaj Konarski31 hours
* Make ShS a newtype over ShXMikolaj Konarski31 hours
* Fix f in SMayNat to always be SNat and UNPACK itMikolaj Konarski3 days
* Style and uniformity of shape/index/list functionsTom Smeding2025-12-02
* Don't call continuation-based functions just *FromListMikolaj Konarski2025-12-01
* Tune redundant cases for no-warnings on GHC 9.12Tom Smeding2025-10-02
* Compatibility with GHC 9.6Tom Smeding2025-10-02
* Port to ghc-typelits-natnormalise-0.8.1 that is much overhauledport-to-natnormalise-0.8.1Mikolaj Konarski2025-10-02
* Cross-package doc links are half-broken, let's notTom Smeding2025-06-30
* Permutations: withKnownPermTom Smeding2025-06-29
* Add instance TestEquality PermMikolaj Konarski2025-06-19
* Remove unnecessary LANGUAGE pragmaTom Smeding2025-06-02
* Move modules Permutation and TypesMikolaj Konarski2025-05-16
generated by cgit v1.2.3-70-g09d2 (git 2.51.2) at 2025-12-17 16:33:47 +0100