| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Revert "Remove the KnownNat constraint from (:5509)" | Tom Smeding | 46 hours |
| | | | | | | | | This reverts commit 8890526cac9e6c4d5583d00fce55f32ba613cf31. Removing a _provided_ KnownNat constraint if we cannot remove the actual Nat information from the data type is rather pointless. | ||
| * | Shape/index function rename | Tom Smeding | 47 hours |
| | | |||
| * | default-show-instances flag | Tom Smeding | 47 hours |
| | | |||
| * | Remove the KnownNat constraint from (:5509) | Mikolaj Konarski | 47 hours |
| | | |||
| * | Split and uniformly rename Shape modules | Mikolaj Konarski | 4 days |
 |
index : ox-arrays | |
| Nested, compositional struct-of-arrays orthotope arrays | git daemon user |
| aboutsummaryrefslogtreecommitdiff |