aboutsummaryrefslogtreecommitdiff
path: root/test/Gen.hs
Commit message (Expand)AuthorAge
* Run stylish-haskellMikolaj Konarski29 hours
* Move modules Permutation and TypesMikolaj Konarski40 hours
* Split and uniformly rename Shape modulesMikolaj Konarski4 days
* Some constraints look redundant to GHC, but are notTom Smeding5 days
* Fix some of the warnings GHC 9.12.2 now producesMikolaj Konarski5 days
* Apply some suggestions from hlintMikolaj Konarski5 days
* test: up 'random' dependencyTom Smeding2025-04-23
* 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
generated by cgit v1.2.3-70-g09d2 (git 2.48.1) at 2025-05-18 16:19:31 +0200