| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| experiment-with-KnownShape | Make also the sized shaped lists strict due to impurity in horde-ad | Mikolaj Konarski | 2 weeks | |
| flesh-out-sized-lists | Try to make up for ToINat not being injective | Mikolaj Konarski | 3 weeks | |
| master | Convert arrays <-> XArray | Tom Smeding | 4 hours | |
| Tag | Download | Author | Age | |
| last-with-inat | commit 77ab86ede9... | Tom Smeding | 4 hours | |
 |
index : ox-arrays | |
| Nested, compositional struct-of-arrays orthotope arrays | git daemon user |
| aboutsummaryrefslogtreecommitdiff |