aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
exper-hs-numopsBenchmark with haskell num ops via mutable vectorsTom Smeding9 months
exper-invperm-proofTry write correct inverse permutation function (incomplete)Tom Smeding9 months
experiment-with-KnownShapeMake also the sized shaped lists strict due to impurity in horde-adMikolaj Konarski10 months
flesh-out-sized-listsTry to make up for ToINat not being injectiveMikolaj Konarski11 months
invert-castableWIP invertable CastableTom Smeding5 weeks
masterC: Simplify DOTPROD_STRIDED_OP signatureTom Smeding5 days
no-normalise-binopWIP binary ops without normalisationTom Smeding5 days
peano-snatWIP half-peano SNatsTom Smeding3 weeks
 
TagDownloadAuthorAge
last-with-inatcommit 77ab86ede9...Tom Smeding10 months