index
:
ox-arrays
exper-hs-numops
exper-invperm-proof
experiment-with-KnownShape
flesh-out-sized-lists
invert-castable
master
peano-snat
Nested, compositional struct-of-arrays orthotope arrays
git daemon user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Branch
Commit message
Author
Age
exper-hs-numops
Benchmark with haskell num ops via mutable vectors
Tom Smeding
11 months
exper-invperm-proof
Try write correct inverse permutation function (incomplete)
Tom Smeding
11 months
experiment-with-KnownShape
Make also the sized shaped lists strict due to impurity in horde-ad
Mikolaj Konarski
12 months
flesh-out-sized-lists
Try to make up for ToINat not being injective
Mikolaj Konarski
13 months
invert-castable
WIP invertable Castable
Tom Smeding
3 months
master
Fix the Show instance for Shaped
Mikolaj Konarski
13 days
peano-snat
WIP half-peano SNats
Tom Smeding
3 months
Tag
Download
Author
Age
last-with-inat
commit 77ab86ede9...
Tom Smeding
12 months
Age
Commit message
Author
13 days
Fix the Show instance for Shaped
HEAD
master
Mikolaj Konarski
13 days
Put Data.Array.Nested at top of cabal file
Tom Smeding
13 days
Refactor the clever replicate-aware Show instances
Tom Smeding
13 days
Do away with ShowVia{ToListLinear,Primitive}, were unused
Tom Smeding
13 days
Show concisely arrays replicated from a single element (scalar or not)
Mikolaj Konarski
14 days
Add mstrideTree and StrideTree
Mikolaj Konarski
2025-04-23
Bump base upper bound
Tom Smeding
2025-04-23
test: up 'random' dependency
Tom Smeding
2025-04-15
arith: Better typing of enum stats_binary_id
Tom Smeding
2025-04-15
arith: Don't use C23 features
Tom Smeding
[...]