aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* Fix constraints in Data.Array.MixedTom Smeding2024-04-14
* Rename inductive naturals to INatTom Smeding2024-04-14
* Move from unboxed to storable vectorsTom Smeding2024-04-14
* Switch to GHC.TypeLits.Nat for shapesTom Smeding2024-04-13
* Remove spurious commentTom Smeding2024-04-13
* Transpose functions in the APITom Smeding2024-04-09
* Simple usage exampleTom Smeding2024-04-03
* Fix enumShapeTom Smeding2024-04-03
* Some debugging Show instancesTom Smeding2024-04-03
* Fix fixitiesTom Smeding2024-04-03
* Reorganise, documentationTom Smeding2024-04-03
* More docs, sum, shaped interfaceTom Smeding2024-04-02
* Various improvementsTom Smeding2024-03-28
* Ranked interfaceTom Smeding2024-03-27
* NatsTom Smeding2024-03-27
* GHC typenats are badTom Smeding2024-03-27
* InitialTom Smeding2024-03-26