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