aboutsummaryrefslogtreecommitdiff
path: root/test
Commit message (Collapse)AuthorAge
* Rename *LengthSNat to *RankTom Smeding2024-06-13
|
* Properly test C reductionsTom Smeding2024-06-03
|
* Move sh*Tail to main ox-arraysTom Smeding2024-06-03
|
* Add a comment about the distribution of genRankTom Smeding2024-06-03
|
* Test permInverseTom Smeding2024-06-03
|
* Generalise monad in some test generatorsTom Smeding2024-06-03
|
* Some more generators for testsTom Smeding2024-06-03
|
* ImportQualifiedPost everywhereTom Smeding2024-06-03
|
* Clearer module purposesTom Smeding2024-05-30
| | | | Thanks Mikolaj for discussion
* Refactor Nested (modules, function names)Tom Smeding2024-05-30
|
* Refactor Mixed (modules, regular function names)Tom Smeding2024-05-30
|
* Reorganise test filesTom Smeding2024-05-28
|
* Less warnings in testTom Smeding2024-05-25
|
* Test C sum with random inputsTom Smeding2024-05-24
|
* WIP testingTom Smeding2024-05-23
|
* Rename 'test' component to 'example'Tom Smeding2024-05-20
|
* Finish singletons refactor?Tom Smeding2024-05-18
|
* The code compiles with only GHC natsTom Smeding2024-05-15
|
* Shape/index hygieneTom Smeding2024-05-13
|
* Rename sized lists constructors according to the ConventionMikolaj Konarski2024-04-21
|
* Allow generating an empty arrayTom Smeding2024-04-17
|
* Update exampleTom Smeding2024-04-17
|
* Switch to GHC.TypeLits.Nat for shapesTom Smeding2024-04-13
|
* Transpose functions in the APITom Smeding2024-04-09
|
* Simple usage exampleTom Smeding2024-04-03
generated by cgit v1.2.3-70-g09d2 (git 2.47.0) at 2024-11-01 15:29:38 +0100