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
Commit message (
Expand
)
Author
Age
*
Describe Castable philosophy
HEAD
master
Tom Smeding
2 hours
*
Add CastZip and CastUnzip
Tom Smeding
2 hours
*
Add shape checking to [rms]zip
Tom Smeding
3 hours
*
Fix up and update Trace.hs
Tom Smeding
3 hours
*
Reorganise and clean up {from,to}List functions
Tom Smeding
3 hours
*
Add ssxDropSSX and ssxDropSh, analogous to the shx* versions
Tom Smeding
19 hours
*
Add CastNest and CastUnnest
Tom Smeding
21 hours
*
Remove unnecessary LANGUAGE pragma
Tom Smeding
42 hours
*
Make MapJust injective
Tom Smeding
43 hours
*
Simplify and expand Castable
Tom Smeding
44 hours
*
Run stylish-haskell
Mikolaj Konarski
2025-05-17
*
Nested.hs: Fix typo in doc comment
Tom Smeding
2025-05-17
*
Nested.hs: import and export ordering
Tom Smeding
2025-05-17
*
Update doc comments in Lemmas
Tom Smeding
2025-05-17
*
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
*
Eliminate the dependency cycle of 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
*
Revert "Remove the KnownNat constraint from (:5509)"
Tom Smeding
2025-05-16
*
Shape/index function rename
Tom Smeding
2025-05-16
*
default-show-instances flag
Tom Smeding
2025-05-16
*
Remove the KnownNat constraint from (:5509)
Mikolaj Konarski
2025-05-16
*
Explicit re-exports of Base members
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
*
Simplify lemRankApp
Tom Smeding
2025-05-15
*
Move Data.Array.Arith to Data.Array.Strided.Orthotope
Tom Smeding
2025-05-15
*
Move Arith, XArray and Convert
Mikolaj Konarski
2025-05-14
*
Rename the three main public tensor API modules
Mikolaj Konarski
2025-05-14
*
Add .stylish-haskell.yaml that matches Tom's preferences
Mikolaj Konarski
2025-05-14
*
Split and uniformly rename Shape modules
Mikolaj Konarski
2025-05-14
*
Appease GHC 9.10.2
Tom Smeding
2025-05-13
*
Revert some stylistic changes
Tom Smeding
2025-05-13
*
Fix some of the warnings GHC 9.12.2 now produces
Mikolaj Konarski
2025-05-13
*
Apply some suggestions from hlint
Mikolaj Konarski
2025-05-13
*
Let stylish-haskell sort things
Mikolaj Konarski
2025-05-13
*
Add a couple of new zip operations that obviously make sense
Mikolaj Konarski
2025-05-13
*
Generalise list{x,s}Zip{,With} from Const to f
Tom Smeding
2025-05-12
*
Let's not add commented redundant needless errors
Tom Smeding
2025-05-12
*
Add zip and zipWith for sized lists
Mikolaj Konarski
2025-05-11
*
Fill in missing Head and HEAD
Mikolaj Konarski
2025-05-11
*
Cargo-cult NFData for all sized list types
Mikolaj Konarski
2025-05-11
*
Define fooLength and/or fooRank whenever not yet defined
Mikolaj Konarski
2025-05-11
*
Fix the Show instance for Shaped
Mikolaj Konarski
2025-04-26
*
Refactor the clever replicate-aware Show instances
Tom Smeding
2025-04-26
[next]