Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | fromList1 (the analogue to orthotope's fromList) | Tom Smeding | 2024-04-20 | |
| | ||||
* | fromList | Tom Smeding | 2024-04-20 | |
| | ||||
* | unScalar, constant | Tom Smeding | 2024-04-14 | |
| | ||||
* | fromVector | Tom Smeding | 2024-04-14 | |
| | ||||
* | Exports, documentation | Tom Smeding | 2024-04-14 | |
| | ||||
* | scalar | Tom Smeding | 2024-04-14 | |
| | ||||
* | Add forgotten export in public interface | Tom Smeding | 2024-04-14 | |
| | ||||
* | Fix constraints in Data.Array.Mixed | Tom Smeding | 2024-04-14 | |
| | | | | | These were still Unbox from before the transition to orthotope's Storable API | |||
* | Rename inductive naturals to INat | Tom Smeding | 2024-04-14 | |
| | ||||
* | Transpose functions in the API | Tom Smeding | 2024-04-09 | |
| | ||||
* | Reorganise, documentation | Tom Smeding | 2024-04-03 | |