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