aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
exper-hs-numopsBenchmark with haskell num ops via mutable vectorsTom Smeding11 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 the Show instance for ShapedMikolaj Konarski13 days
peano-snatWIP half-peano SNatsTom Smeding3 months
 
TagDownloadAuthorAge
last-with-inatcommit 77ab86ede9...Tom Smeding12 months
 
AgeCommit messageAuthor
13 daysFix the Show instance for ShapedHEADmasterMikolaj Konarski
13 daysPut Data.Array.Nested at top of cabal fileTom Smeding
13 daysRefactor the clever replicate-aware Show instancesTom Smeding
13 daysDo away with ShowVia{ToListLinear,Primitive}, were unusedTom Smeding
13 daysShow concisely arrays replicated from a single element (scalar or not)Mikolaj Konarski
14 daysAdd mstrideTree and StrideTreeMikolaj Konarski
2025-04-23Bump base upper boundTom Smeding
2025-04-23test: up 'random' dependencyTom Smeding
2025-04-15arith: Better typing of enum stats_binary_idTom Smeding
2025-04-15arith: Don't use C23 featuresTom Smeding
[...]