aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Permutation.hs
Commit message (Collapse)AuthorAge
* Simplify the signature of fooIndexMikolaj Konarski38 hours
|
* Make ShS a newtype over ShXMikolaj Konarski38 hours
| | | | TODO: use lemmas in place of the unsafeCoerceRefl
* 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
| | | | and probably more sound than earlier versions.
* 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 23:59:00 +0100