| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Move modules Permutation and Types | Mikolaj Konarski | 2025-05-16 |
| * | Split and uniformly rename Shape modules | Mikolaj Konarski | 2025-05-14 |
| * | Some constraints look redundant to GHC, but are not | Tom Smeding | 2025-05-13 |
| * | Fix some of the warnings GHC 9.12.2 now produces | Mikolaj Konarski | 2025-05-13 |
| * | Apply some suggestions from hlint | Mikolaj Konarski | 2025-05-13 |
| * | test: up 'random' dependency | Tom Smeding | 2025-04-23 |
| * | Rename *LengthSNat to *Rank | Tom Smeding | 2024-06-13 |
| * | Properly test C reductions | Tom Smeding | 2024-06-03 |
| * | Add a comment about the distribution of genRank | Tom Smeding | 2024-06-03 |
| * | Test permInverse | Tom Smeding | 2024-06-03 |
| * | Generalise monad in some test generators | Tom Smeding | 2024-06-03 |
| * | Some more generators for tests | Tom Smeding | 2024-06-03 |
| * | ImportQualifiedPost everywhere | Tom Smeding | 2024-06-03 |
| * | Refactor Nested (modules, function names) | Tom Smeding | 2024-05-30 |
| * | Refactor Mixed (modules, regular function names) | Tom Smeding | 2024-05-30 |
| * | Reorganise test files | Tom Smeding | 2024-05-28 |
