aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Make also the sized shaped lists strict due to impurity in horde-adexperiment-with-KnownShapeMikolaj Konarski2024-04-29
* Make sized ranked lists strict due to impurity evaluation order in horde-adMikolaj Konarski2024-04-28
* Add KnownShape and KnownNat throughout sized shaped listsMikolaj Konarski2024-04-25
* 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
* Add ToINatMikolaj Konarski2024-04-22
* Make type params of sized list newtype constructors the same as for the listsMikolaj Konarski2024-04-21
* Derive also the Ord instance for sized listsMikolaj Konarski2024-04-21
* Swap arguments of sized lists to derive Functor, etc.Mikolaj Konarski2024-04-21
* Export more of the sized lists, including the newtype constructorsMikolaj Konarski2024-04-21
* Flesh out shaped sized listsMikolaj Konarski2024-04-21
* Flesh out ranked sized listsMikolaj Konarski2024-04-21
* Rename sized lists constructors according to the ConventionMikolaj Konarski2024-04-21
* Make index types useful for horde-ad by parameterising IntTom Smeding2024-04-21
* GHC 9.8 compatibilityTom Smeding2024-04-20
* Small cleanupTom Smeding2024-04-20
* sliceTom Smeding2024-04-20
* toListTom Smeding2024-04-20
* fromList1 (the analogue to orthotope's fromList)Tom Smeding2024-04-20
* Some cleanupsTom Smeding2024-04-20
* fromListTom Smeding2024-04-20
* Add "presentation" to READMETom Smeding2024-04-17
* Fix haddocks formattingTom Smeding2024-04-17
* Allow generating an empty arrayTom Smeding2024-04-17
* Update exampleTom Smeding2024-04-17
* Remove redundant constraint from rgenerateTom Smeding2024-04-17
* Neater haddocksTom Smeding2024-04-17
* Fix bug in mgenerateTom Smeding2024-04-17
* Strict fields in data instancesTom Smeding2024-04-17
* Commented-out stub for mfromListTom Smeding2024-04-15
* Proper checking in *generate, plus warning in haddocksTom Smeding2024-04-15
* unScalar, constantTom Smeding2024-04-14
* fromVectorTom Smeding2024-04-14
* Exports, documentationTom Smeding2024-04-14
* scalarTom Smeding2024-04-14
* Add appendTom Smeding2024-04-14
* Add forgotten export in public interfaceTom Smeding2024-04-14
* Fix type signature of 'append'Tom Smeding2024-04-14
* Num instances for Mixed, Ranked, ShapedTom Smeding2024-04-14
* mlift2Tom Smeding2024-04-14
* Rename inductive Nat lemmas to INatTom Smeding2024-04-14
* Fix variable namingTom Smeding2024-04-14
* Make XArray a newtypeTom Smeding2024-04-14
* 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.0) at 2024-05-16 23:30:39 +0200