aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
exper-hs-numopsBenchmark with haskell num ops via mutable vectorsTom Smeding12 months
exper-invperm-proofTry write correct inverse permutation function (incomplete)Tom Smeding11 months
experiment-with-KnownShapeMake also the sized shaped lists strict due to impurity in horde-adMikolaj Konarski12 months
flesh-out-sized-listsTry to make up for ToINat not being injectiveMikolaj Konarski13 months
invert-castableWIP invertable CastableTom Smeding3 months
masterFix almost all 'cabal check' warnings and errorsMikolaj Konarski83 min.
peano-snatWIP half-peano SNatsTom Smeding3 months
 
TagDownloadAuthorAge
last-with-inatcommit 77ab86ede9...Tom Smeding12 months