index
:
ox-arrays
SPEC-magic
exper-hs-numops
exper-invperm-proof
experiment-with-KnownShape
flesh-out-sized-lists
invert-castable
master
mgenerate-integral
mild-tweaks-repackaged
move-Rank
mvecsReplicate
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
uncontroversial-tweaks-repackaged
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
SPEC-magic
SPEC magic
Mikolaj Konarski
5 months
master
Bump version for the quickfix release
Mikolaj Konarski
9 days
mgenerate-integral
Generalize also mgenerate to potentially avoid @fmap fromIntegral@
Mikolaj Konarski
5 months
mild-tweaks-repackaged
Optimize slightly sh?FromList and sh?ToList
Mikolaj Konarski
6 weeks
move-Rank
Make equal-rank-coercibility part of the interface of ListX
Tom Smeding
2 weeks
mvecsReplicate
Improve haddocs following the Tom's guidance
Mikolaj Konarski
13 days
non-forcing-fromLists
Don't force the list argument early in X.fromList*, if possible
Mikolaj Konarski
5 months
port-to-natnormalise-0.8.1
Port to ghc-typelits-natnormalise-0.8.1 that is much overhauled
Mikolaj Konarski
7 months
port-to-plugins-0.8.1
Done
Mikolaj Konarski
7 months
uncontroversial-tweaks-repackaged
Depend on the versions of orthotope that have toVectorListT
Mikolaj Konarski
6 weeks
[...]
Tag
Download
Author
Age
v0.2.0.0
commit d0baaba727...
Mikolaj Konarski
12 days
repro-lint-profile
commit b1253991b2...
Mikolaj Konarski
4 months
repro-UNPACK
commit 21d3d6190b...
Mikolaj Konarski
4 months
v0.1.0.0
commit bff10fbf08...
Tom Smeding
10 months
last-with-inat
commit 77ab86ede9...
Tom Smeding
23 months
Age
Commit message
Author
13 days
Improve haddocs following the Tom's guidance
mvecsReplicate
Mikolaj Konarski
13 days
CPP the TypeAbstractions extension for old GHCs
Mikolaj Konarski
14 days
Get rid of most ListX operations
Mikolaj Konarski
14 days
Remove ListR
Mikolaj Konarski
14 days
Remove ListS
Mikolaj Konarski
14 days
Follow up the equal-rank-coercibility introduction
Mikolaj Konarski
14 days
Make equal-rank-coercibility part of the interface of ListX
Tom Smeding
14 days
Get rid of ListH
Mikolaj Konarski
2026-04-09
Define a pair of conversions ixxFromIxS'/ixrFromIxS' anologous to ixsFromIxX'...
Mikolaj Konarski
2026-04-09
Bring ixsFromIxR' back
Mikolaj Konarski
[...]