aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Tweak shape ZipWith definitions slightlyHEADmasterMikolaj Konarski2 days
* Add SNat import to readme tasterTom Smeding2025-06-30
* Cross-package doc links are half-broken, let's notTom Smeding2025-06-30
* Fix rerank docsTom Smeding2025-06-30
* Fix formatting in cabal fileTom Smeding2025-06-30
* Package description and changelogTom Smeding2025-06-30
* Common-up some options in cabal fileTom Smeding2025-06-30
* Apply a small fraction of hlint hintsMikolaj Konarski2025-06-30
* Permutations: withKnownPermTom Smeding2025-06-29
* Add existential conversions to ShSTom Smeding2025-06-29
* More shape/index conversion functionsTom Smeding2025-06-29
* Flip some index/shape-related functionsTom Smeding2025-06-29
* Improve Conversion haddocksTom Smeding2025-06-29
* CleanupTom Smeding2025-06-29
* Tweak haddocs and comments slightlyMikolaj Konarski2025-06-26
* Add instance TestEquality PermMikolaj Konarski2025-06-19
* Rename Castable to ConversionTom Smeding2025-06-09
* Derive instance Show (Castable a b)Mikolaj Konarski2025-06-06
* Describe Castable philosophyTom Smeding2025-06-04
* Add CastZip and CastUnzipTom Smeding2025-06-04
* Add shape checking to [rms]zipTom Smeding2025-06-04
* Fix up and update Trace.hsTom Smeding2025-06-04
* Reorganise and clean up {from,to}List functionsTom Smeding2025-06-04
* Add ssxDropSSX and ssxDropSh, analogous to the shx* versionsTom Smeding2025-06-03
* Add CastNest and CastUnnestTom Smeding2025-06-03
* Remove unnecessary LANGUAGE pragmaTom Smeding2025-06-02
* Make MapJust injectiveTom Smeding2025-06-02
* Simplify and expand CastableTom Smeding2025-06-02
* README: Improvements (thanks Mikolaj)Tom Smeding2025-05-27
* README: more accurateTom Smeding2025-05-27
* Point to the README from the package descriptionTom Smeding2025-05-27
* Update READMETom Smeding2025-05-27
* test: Don't generate unreasonably large replicated arraysTom Smeding2025-05-17
* Run stylish-haskellMikolaj Konarski2025-05-17
* Nested.hs: Fix typo in doc commentTom Smeding2025-05-17
* Nested.hs: import and export orderingTom Smeding2025-05-17
* Update doc comments in LemmasTom Smeding2025-05-17
* Move shape conversion ops to Data.Array.Nested.ConvertMikolaj Konarski2025-05-17
* Move code around in Data.Array.Nested.ConvertMikolaj Konarski2025-05-17
* Merge both Lemmas modulesMikolaj Konarski2025-05-17
* Eliminate the dependency cycle of Lemmas modulesMikolaj Konarski2025-05-17
* Move modules Permutation and TypesMikolaj Konarski2025-05-16
* Sort modules in cabal fileTom Smeding2025-05-16
* Generalize some shape conversion functionsMikolaj Konarski2025-05-16
* Revert "Remove the KnownNat constraint from (:5509)"Tom Smeding2025-05-16
* Shape/index function renameTom Smeding2025-05-16
* default-show-instances flagTom Smeding2025-05-16
* Remove the KnownNat constraint from (:5509)Mikolaj Konarski2025-05-16
* Explicit re-exports of Base membersTom Smeding2025-05-16
* Flip arguments of mcastToShaped for consistencyTom Smeding2025-05-16
generated by cgit v1.2.3-70-g09d2 (git 2.50.0) at 2025-07-16 00:47:03 +0200