| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Test permInverse | Tom Smeding | 2024-06-03 |
| * | ImportQualifiedPost everywhere | Tom Smeding | 2024-06-03 |
| * | Reorganise test files | Tom Smeding | 2024-05-28 |
| * | Less warnings in test | Tom Smeding | 2024-05-25 |
| * | Test C sum with random inputs | Tom Smeding | 2024-05-24 |
| * | WIP testing | Tom Smeding | 2024-05-23 |
| * | Rename 'test' component to 'example' | Tom Smeding | 2024-05-20 |
| * | Finish singletons refactor? | Tom Smeding | 2024-05-18 |
| * | The code compiles with only GHC nats | Tom Smeding | 2024-05-15 |
| * | Shape/index hygiene | Tom Smeding | 2024-05-13 |
| * | Rename sized lists constructors according to the Convention | Mikolaj Konarski | 2024-04-21 |
| * | Allow generating an empty array | Tom Smeding | 2024-04-17 |
| * | Update example | Tom Smeding | 2024-04-17 |
| * | Switch to GHC.TypeLits.Nat for shapes | Tom Smeding | 2024-04-13 |
| * | Transpose functions in the API | Tom Smeding | 2024-04-09 |
| * | Simple usage example | Tom Smeding | 2024-04-03 |
