index
:
ox-arrays
SPEC-magic
exper-hs-numops
exper-invperm-proof
experiment-with-KnownShape
flesh-out-sized-lists
invert-castable
master
mgenerate-integral
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
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
2 weeks
master
XArray: Fix doc comment on ravelOuterN
Tom Smeding
12 days
mgenerate-integral
Generalize also mgenerate to potentially avoid @fmap fromIntegral@
Mikolaj Konarski
2 weeks
mvecsReplicate
Make List?, except ListH, less general
Mikolaj Konarski
6 hours
non-forcing-fromLists
Don't force the list argument early in X.fromList*, if possible
Mikolaj Konarski
4 weeks
port-to-natnormalise-0.8.1
Port to ghc-typelits-natnormalise-0.8.1 that is much overhauled
Mikolaj Konarski
3 months
port-to-plugins-0.8.1
Done
Mikolaj Konarski
3 months
repro-9.14-branch
Update the repro vs plugins update courtesy of Sam
Mikolaj Konarski
4 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
repro-UNPACK
commit 21d3d6190b...
Mikolaj Konarski
44 hours
v0.1.0.0
commit bff10fbf08...
Tom Smeding
6 months
last-with-inat
commit 77ab86ede9...
Tom Smeding
19 months
Age
Commit message
Author
44 hours
Optimize the representation of ListH
repro-UNPACK
Mikolaj Konarski
44 hours
Inline SMayNat in ListH
Mikolaj Konarski
44 hours
Clone ListX into ListH
Mikolaj Konarski
44 hours
Simplify the signature of fooIndex
Mikolaj Konarski
44 hours
Implement shxFromShS and shsFromShX as a newtype coerce
Mikolaj Konarski
44 hours
Make ShS a newtype over ShX
Mikolaj Konarski
3 days
Fix f in SMayNat to always be SNat and UNPACK it
Mikolaj Konarski
4 days
Implement Tom's ixsFromIxS
Mikolaj Konarski
4 days
Implement index conversions as unsafeCoerce
Mikolaj Konarski
5 days
Fix a few KnownNat in ShS-related TODOs and reword the rest
Mikolaj Konarski
[...]