aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Mixed
Commit message (Expand)AuthorAge
* Concatenation of arrays for M and RTom Smeding2024-06-09
* Fix stride handling of binary arith opsTom Smeding2024-06-09
* Generalise Ord instances to full lexicographical orderTom Smeding2024-06-07
* Properly test C reductionsTom Smeding2024-06-03
* Rename *ToSNat to *LengthSNatTom Smeding2024-06-03
* rrank, rtoOrthotopeTom Smeding2024-06-03
* Move sh*Tail to main ox-arraysTom Smeding2024-06-03
* Test permInverseTom Smeding2024-06-03
* Some more generators for testsTom Smeding2024-06-03
* Separate permCheckPermutation from permInverseTom Smeding2024-06-03
* Introduce PermR type synonymTom Smeding2024-06-03
* Clearer module purposesTom Smeding2024-05-30
* Refactor Nested (modules, function names)Tom Smeding2024-05-30
* Clean up extensionsTom Smeding2024-05-30
* Refactor Mixed (modules, regular function names)Tom Smeding2024-05-30