index
:
ox-arrays
exper-hs-numops
exper-invperm-proof
experiment-with-KnownShape
flesh-out-sized-lists
master
singletons
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
5 months
exper-invperm-proof
Try write correct inverse permutation function (incomplete)
Tom Smeding
5 months
experiment-with-KnownShape
Make also the sized shaped lists strict due to impurity in horde-ad
Mikolaj Konarski
6 months
flesh-out-sized-lists
Try to make up for ToINat not being injective
Mikolaj Konarski
6 months
master
Fix slice type
Tom Smeding
6 months
singletons
Support arrays of Bool
Tom Smeding
14 days
Tag
Download
Author
Age
last-with-inat
commit 77ab86ede9...
Tom Smeding
6 months
Age
Commit message
Author
14 days
Support arrays of Bool
singletons
Tom Smeding
2024-10-10
Fix error message in listxFromList
Tom Smeding
2024-10-10
Better error message in IsList(ListR)
Tom Smeding
2024-10-10
Add pointer to haddock issue in trace-wrappers flag descr
Tom Smeding
2024-10-10
Sync Trace.hs fully with Nested.hs; gentrace.sh monstrosity
Tom Smeding
2024-10-10
Also export recent type family exports from Trace.hs
Tom Smeding
2024-10-10
Add recent functions to Trace.hs
Tom Smeding
2024-10-09
Remove redundant Elt constraint
Tom Smeding
2024-10-09
Export *fromListPrimLinear
Tom Smeding
2024-10-09
Export Product
Tom Smeding
[...]