index
:
ox-arrays
exper-hs-numops
exper-invperm-proof
experiment-with-KnownShape
flesh-out-sized-lists
invert-castable
master
peano-snat
Nested, compositional struct-of-arrays orthotope arrays
git daemon user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
README: Improvements (thanks Mikolaj)
HEAD
master
Tom Smeding
22 hours
*
README: more accurate
Tom Smeding
22 hours
*
Point to the README from the package description
Tom Smeding
22 hours
*
Update README
Tom Smeding
22 hours
*
test: Don't generate unreasonably large replicated arrays
Tom Smeding
11 days
*
Run stylish-haskell
Mikolaj Konarski
11 days
*
Nested.hs: Fix typo in doc comment
Tom Smeding
11 days
*
Nested.hs: import and export ordering
Tom Smeding
11 days
*
Update doc comments in Lemmas
Tom Smeding
11 days
*
Move shape conversion ops to Data.Array.Nested.Convert
Mikolaj Konarski
11 days
*
Move code around in Data.Array.Nested.Convert
Mikolaj Konarski
11 days
*
Merge both Lemmas modules
Mikolaj Konarski
12 days
*
Eliminate the dependency cycle of Lemmas modules
Mikolaj Konarski
12 days
*
Move modules Permutation and Types
Mikolaj Konarski
12 days
*
Sort modules in cabal file
Tom Smeding
12 days
*
Generalize some shape conversion functions
Mikolaj Konarski
12 days
*
Revert "Remove the KnownNat constraint from (:5509)"
Tom Smeding
12 days
*
Shape/index function rename
Tom Smeding
12 days
*
default-show-instances flag
Tom Smeding
12 days
*
Remove the KnownNat constraint from (:5509)
Mikolaj Konarski
12 days
*
Explicit re-exports of Base members
Tom Smeding
13 days
*
Flip arguments of mcastToShaped for consistency
Tom Smeding
13 days
*
Convert: Export list; simplify some functions with castCastable
Tom Smeding
13 days
*
Move casts to DAN.Convert; split Ranked/Shaped types into .Base
Tom Smeding
13 days
*
Make mcast available in Castable
Tom Smeding
13 days
*
mcastSafe was unsound; it's now gone
Tom Smeding
13 days
*
Simplify lemRankApp
Tom Smeding
13 days
*
Move Data.Array.Arith to Data.Array.Strided.Orthotope
Tom Smeding
13 days
*
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
*
Update copyright info in cabal file
Tom Smeding
2025-05-13
*
Appease GHC 9.10.2
Tom Smeding
2025-05-13
*
Some constraints look redundant to GHC, but are not
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
*
Enable more warnings
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
*
Satisfy 'cabal check' a bit more
Tom Smeding
2025-05-12
*
Show Bag
Tom Smeding
2025-05-12
*
Let's not add commented redundant needless errors
Tom Smeding
2025-05-12
*
Fix almost all 'cabal check' warnings and errors
Mikolaj Konarski
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
[next]