aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
...
* constant -> replicateTom Smeding2024-05-20
* Some conversionsTom Smeding2024-05-20
* Remove forgotten -Wno-unused-importsTom Smeding2024-05-20
* Add TODOsTom Smeding2024-05-20
* mtranspose without rerankTom Smeding2024-05-20
* Make Int64 a legal array element typeTom Smeding2024-05-19
* Export the two non-Foldable toList functions publiclyTom Smeding2024-05-19
* Expose all IsList(toList) functions without constraintsTom Smeding2024-05-19
* Fix some fromListsTom Smeding2024-05-19
* Update TODOsTom Smeding2024-05-19
* Some IsList instancesTom Smeding2024-05-19
* SNat has COMPLETE in ghc 9.8Tom Smeding2024-05-19
* More StrictDataTom Smeding2024-05-19
* Make sized lists strictMikolaj Konarski2024-05-19
* Fix empty lists displayed as ']'Mikolaj Konarski2024-05-19
* WIP IsList instancesTom Smeding2024-05-18
* Custom Show instances for list-like outputTom Smeding2024-05-18
* Put KnownNat inside ListS; REVERT ME LATERTom Smeding2024-05-18
* Finish singletons refactor?Tom Smeding2024-05-18
* More WIPTom Smeding2024-05-18
* More WIP singletonisationTom Smeding2024-05-17
* WIP rewrite to singletons onlyTom Smeding2024-05-17
* Fix slice typeHEADmasterTom Smeding2024-05-17
* PermutePrefix abbreviationTom Smeding2024-05-17
* Convert arrays <-> XArrayTom Smeding2024-05-16
* Fix transposeTom Smeding2024-05-16
* WIP stranspose typeTom Smeding2024-05-15
* Consistently n + 1Tom Smeding2024-05-15
* The code compiles with only GHC natsTom Smeding2024-05-15
* WIP GHC natsTom Smeding2024-05-14
* reshapelast-with-inatTom Smeding2024-05-14
* rev1Tom Smeding2024-05-14
* Fixup *fromList* namesTom Smeding2024-05-14
* More coerceTom Smeding2024-05-14
* Better {from,to}List{,1} namesTom Smeding2024-05-14
* toVectorTom Smeding2024-05-14
* Introduce EltRepr (no more Primitive/Coercible in API)Tom Smeding2024-05-14
* Fix commentsTom Smeding2024-05-14
* Bundle patterns with Ix/Sh data types (haddock)Tom Smeding2024-05-14
* Shape/index hygieneTom Smeding2024-05-13
* Replace SShape with ShSTom Smeding2024-05-13
* Less manual Foldable instancesTom Smeding2024-05-13
* Annotate all lists of primitive element types in the sourceTom Smeding2024-05-13
* Remove some redundant 'case'Tom Smeding2024-05-13
* Remove some redundant parenthesesTom Smeding2024-05-13
* Shorter deriving syntaxTom Smeding2024-05-13
* Rename StaticShape{R,S} to Sh{R,S}, because they encode runtime infoTom Smeding2024-05-13
* Try to make up for ToINat not being injectiveflesh-out-sized-listsMikolaj Konarski2024-04-23
* Define and expose the recomputing of KnownINat for ranksMikolaj Konarski2024-04-23
* Add role annotations for sized listsMikolaj Konarski2024-04-22
generated by cgit v1.2.3-70-g09d2 (git 2.47.0) at 2024-11-01 21:33:46 +0100