| Commit message (Expand) | 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 | 
