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