index
:
ox-arrays
exper-hs-numops
exper-invperm-proof
experiment-with-KnownShape
flesh-out-sized-lists
master
singletons
Nested, compositional struct-of-arrays orthotope arrays
git daemon user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
ox-arrays.cabal
Commit message (
Expand
)
Author
Age
*
Up base bound to ghc-9.10
Tom Smeding
10 days
*
Add pointer to haddock issue in trace-wrappers flag descr
Tom Smeding
2024-10-10
*
Upon better testing, _fused_ vector needs -O2
Tom Smeding
2024-06-13
*
Vector stuff needs -O2; let's set it
Tom Smeding
2024-06-12
*
Benchmark dot product
Tom Smeding
2024-06-10
*
Hide .Trace module behind a flag (trace-wrappers)
Tom Smeding
2024-06-09
*
Better cc-options
Tom Smeding
2024-06-09
*
Traced Nested module
Tom Smeding
2024-06-09
*
Test permInverse
Tom Smeding
2024-06-03
*
Clearer module purposes
Tom Smeding
2024-05-30
*
Refactor Nested (modules, function names)
Tom Smeding
2024-05-30
*
Refactor Mixed (modules, regular function names)
Tom Smeding
2024-05-30
*
Reorganise test files
Tom Smeding
2024-05-28
*
Fast (C) Floating ops
Tom Smeding
2024-05-27
*
Refactor C interface to pass operation as enum
Tom Smeding
2024-05-26
*
Less warnings in test
Tom Smeding
2024-05-25
*
NFData instances
Tom Smeding
2024-05-25
*
Test C sum with random inputs
Tom Smeding
2024-05-24
*
WIP testing
Tom Smeding
2024-05-23
*
Fast numeric operations for Num
Tom Smeding
2024-05-23
*
WIP benchmark file
Tom Smeding
2024-05-20
*
Rename 'test' component to 'example'
Tom Smeding
2024-05-20
*
The code compiles with only GHC nats
Tom Smeding
2024-05-15
*
WIP GHC nats
Tom Smeding
2024-05-14
*
GHC 9.8 compatibility
Tom Smeding
2024-04-20
*
Rename inductive naturals to INat
Tom Smeding
2024-04-14
*
Simple usage example
Tom Smeding
2024-04-03
*
Reorganise, documentation
Tom Smeding
2024-04-03
*
More docs, sum, shaped interface
Tom Smeding
2024-04-02
*
Nats
Tom Smeding
2024-03-27
*
GHC typenats are bad
Tom Smeding
2024-03-27
*
Initial
Tom Smeding
2024-03-26