| Branch | Commit message | Author | Age |
|---|
| exper-hs-numops | Benchmark with haskell num ops via mutable vectors | Tom Smeding | 10 months |
| exper-invperm-proof | Try write correct inverse permutation function (incomplete) | Tom Smeding | 10 months |
| experiment-with-KnownShape | Make also the sized shaped lists strict due to impurity in horde-ad | Mikolaj Konarski | 11 months |
| flesh-out-sized-lists | Try to make up for ToINat not being injective | Mikolaj Konarski | 11 months |
| invert-castable | WIP invertable Castable | Tom Smeding | 7 weeks |
| master | Dotprod: Optimise reversed and replicated dimensions | Tom Smeding | 30 hours |
| peano-snat | WIP half-peano SNats | Tom Smeding | 6 weeks |
| |
| Tag | Download | Author | Age |
|---|
| last-with-inat | commit 77ab86ede9... | Tom Smeding | 10 months |
