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