Branch | Commit message | Author | Age | |
---|---|---|---|---|
exper-hs-numops | Benchmark with haskell num ops via mutable vectors | Tom Smeding | 9 months | |
exper-invperm-proof | Try write correct inverse permutation function (incomplete) | Tom Smeding | 9 months | |
experiment-with-KnownShape | Make also the sized shaped lists strict due to impurity in horde-ad | Mikolaj Konarski | 10 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 | 5 weeks | |
master | C: Simplify DOTPROD_STRIDED_OP signature | Tom Smeding | 5 days | |
no-normalise-binop | WIP binary ops without normalisation | Tom Smeding | 5 days | |
peano-snat | WIP half-peano SNats | Tom Smeding | 3 weeks | |
Tag | Download | Author | Age | |
last-with-inat | commit 77ab86ede9... | Tom Smeding | 10 months |