Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Split and uniformly rename Shape modules | Mikolaj Konarski | 23 hours |
* | Rename some commuting lemmas to better names | Tom Smeding | 2024-05-31 |
* | Clearer module purposes | Tom Smeding | 2024-05-30 |
![]() |
index : ox-arrays | |
Nested, compositional struct-of-arrays orthotope arrays | git daemon user |
aboutsummaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Split and uniformly rename Shape modules | Mikolaj Konarski | 23 hours |
* | Rename some commuting lemmas to better names | Tom Smeding | 2024-05-31 |
* | Clearer module purposes | Tom Smeding | 2024-05-30 |