aboutsummaryrefslogtreecommitdiff
path: root/test/Gen.hs
Commit message (Collapse)AuthorAge
* Rename *LengthSNat to *RankTom Smeding2024-06-13
|
* Properly test C reductionsTom 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
|
* 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