index
:
ox-arrays
exper-hs-numops
exper-invperm-proof
experiment-with-KnownShape
flesh-out-sized-lists
invert-castable
master
mgenerate-integral
non-forcing-fromLists
peano-snat
port-to-natnormalise-0.8.1
port-to-plugins-0.8.1
repro-9.14-branch
reptrans-failed
simplify-castable
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
invert-castable
WIP invertable Castable
Tom Smeding
10 months
master
Make shsFromList even more const-like
Mikolaj Konarski
77 min.
mgenerate-integral
Generalize also mgenerate to potentially avoid @fmap fromIntegral@
Mikolaj Konarski
10 hours
non-forcing-fromLists
Don't force the list argument early in X.fromList*, if possible
Mikolaj Konarski
2 weeks
peano-snat
WIP half-peano SNats
Tom Smeding
10 months
port-to-natnormalise-0.8.1
Port to ghc-typelits-natnormalise-0.8.1 that is much overhauled
Mikolaj Konarski
2 months
port-to-plugins-0.8.1
Done
Mikolaj Konarski
2 months
repro-9.14-branch
Update the repro vs plugins update courtesy of Sam
Mikolaj Konarski
3 months
reptrans-failed
Failed experiment to add replicate/transpose combination
Tom Smeding
4 months
simplify-castable
Bidirectional inference for KnownElt
Tom Smeding
6 months
[...]
Tag
Download
Author
Age
v0.1.0.0
commit bff10fbf08...
Tom Smeding
5 months
last-with-inat
commit 77ab86ede9...
Tom Smeding
19 months
Age
Commit message
Author
10 hours
Generalize also mgenerate to potentially avoid @fmap fromIntegral@
mgenerate-integral
Mikolaj Konarski
11 hours
Generalize mgeneratePrim to potentially avoid @fmap fromIntegral@
Mikolaj Konarski
19 hours
Define mgeneratePrim as a fast special case variant
Mikolaj Konarski
30 hours
Simplify genShRwithTarget a little
Mikolaj Konarski
30 hours
Unify fromList functions for shapes
Mikolaj Konarski
30 hours
Don't call continuation-based functions just *FromList
Mikolaj Konarski
31 hours
Unify toList functions for shapes
Mikolaj Konarski
32 hours
Expose the unfolding of the indexing operations
Mikolaj Konarski
2 days
Inline all higher order shape functions
Mikolaj Konarski
6 days
Optimize X.index, but measurements unconclusive
Mikolaj Konarski
[...]