| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| experiment-with-KnownShape | Make also the sized shaped lists strict due to impurity in horde-ad | Mikolaj Konarski | 4 days | |
| flesh-out-sized-lists | Try to make up for ToINat not being injective | Mikolaj Konarski | 10 days | |
| master | Make index types useful for horde-ad by parameterising Int | Tom Smeding | 12 days | |
| Age | Commit message | Author | ||
| 12 days | Make index types useful for horde-ad by parameterising IntHEADmaster | Tom Smeding | ||
| 12 days | GHC 9.8 compatibility | Tom Smeding | ||
| 12 days | Small cleanup | Tom Smeding | ||
| 12 days | slice | Tom Smeding | ||
| 12 days | toList | Tom Smeding | ||
| 12 days | fromList1 (the analogue to orthotope's fromList) | Tom Smeding | ||
| 12 days | Some cleanups | Tom Smeding | ||
| 12 days | fromList | Tom Smeding | ||
| 2024-04-17 | Add "presentation" to README | Tom Smeding | ||
| 2024-04-17 | Fix haddocks formatting | Tom Smeding | ||
| [...] | ||||
 |
index : ox-arrays | |
| Nested, compositional struct-of-arrays orthotope arrays | git daemon user |
| aboutsummaryrefslogtreecommitdiff |