index
:
ox-arrays
exper-hs-numops
exper-invperm-proof
experiment-with-KnownShape
flesh-out-sized-lists
invert-castable
master
peano-snat
simplify-castable
Nested, compositional struct-of-arrays orthotope arrays
git daemon user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Data
/
Array
/
Nested
/
Convert.hs
Commit message (
Expand
)
Author
Age
*
WIP simplify Castable
Tom Smeding
48 hours
*
Describe Castable philosophy
Tom Smeding
2 days
*
Add CastZip and CastUnzip
Tom Smeding
2 days
*
Add CastNest and CastUnnest
Tom Smeding
3 days
*
Simplify and expand Castable
Tom Smeding
4 days
*
Move shape conversion ops to Data.Array.Nested.Convert
Mikolaj Konarski
2025-05-17
*
Move code around in Data.Array.Nested.Convert
Mikolaj Konarski
2025-05-17
*
Merge both Lemmas modules
Mikolaj Konarski
2025-05-17
*
Move modules Permutation and Types
Mikolaj Konarski
2025-05-16
*
Generalize some shape conversion functions
Mikolaj Konarski
2025-05-16
*
Shape/index function rename
Tom Smeding
2025-05-16
*
Flip arguments of mcastToShaped for consistency
Tom Smeding
2025-05-16
*
Convert: Export list; simplify some functions with castCastable
Tom Smeding
2025-05-16
*
Move casts to DAN.Convert; split Ranked/Shaped types into .Base
Tom Smeding
2025-05-15
*
Make mcast available in Castable
Tom Smeding
2025-05-15
*
mcastSafe was unsound; it's now gone
Tom Smeding
2025-05-15
*
Move Arith, XArray and Convert
Mikolaj Konarski
2025-05-14
*
Clearer module purposes
Tom Smeding
2024-05-30
*
Refactor Nested (modules, function names)
Tom Smeding
2024-05-30