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 (
Collapse
)
Author
Age
*
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
|
|
|
|
Thanks Mikolaj for discussion
*
Refactor Nested (modules, function names)
Tom Smeding
2024-05-30