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
4 months
master
Depend on the versions of orthotope that have toVectorListT
Mikolaj Konarski
4 weeks
mgenerate-integral
Generalize also mgenerate to potentially avoid @fmap fromIntegral@
Mikolaj Konarski
4 months
mild-tweaks-repackaged
Optimize slightly sh?FromList and sh?ToList
Mikolaj Konarski
4 weeks
move-Rank
Make equal-rank-coercibility part of the interface of ListX
Tom Smeding
21 hours
mvecsReplicate
Follow up the equal-rank-coercibility introduction
Mikolaj Konarski
3 hours
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
6 months
port-to-plugins-0.8.1
Done
Mikolaj Konarski
6 months
uncontroversial-tweaks-repackaged
Depend on the versions of orthotope that have toVectorListT
Mikolaj Konarski
4 weeks
[...]
Tag
Download
Author
Age
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
9 months
last-with-inat
commit 77ab86ede9...
Tom Smeding
23 months
Age
Commit message
Author
21 hours
Make equal-rank-coercibility part of the interface of ListX
move-Rank
Tom Smeding
21 hours
Justify two unsafeCoerces using partial coerce
Tom Smeding
2 days
Sketch a new CHANGELOG entry
Mikolaj Konarski
2 days
Update the README remark about the implementation of indexes
Mikolaj Konarski
2 days
Apply some hlint hints
Mikolaj Konarski
4 days
Tweak sized list type synonyms slightly
Mikolaj Konarski
5 days
Officially describe the data invariant for ListX and the punched holes
Mikolaj Konarski
5 days
Use lazilyConcat for listxAppend
Mikolaj Konarski
5 days
Implement ListX as [] with strict pattern synonyms
Mikolaj Konarski
5 days
Remove copies of length and toList operations that Foldable already provides
Mikolaj Konarski
[...]