Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 |