index
:
chad-fast
evm
fancy-count
hashable-gadt
master
sparse
test-catch-exc
test-parallel
[no description]
git daemon user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Branch
Commit message
Author
Age
evm
rules: Attempt at merge/accum parameterised transformation
Tom Smeding
13 months
fancy-count
WIP pruneExpr in AST.Count
Tom Smeding
9 weeks
hashable-gadt
Some non-working code lol
Tom Smeding
7 months
master
Fix extremum bug in DualNumbers
Tom Smeding
3 months
sparse
Some more effects to not ignore
Tom Smeding
3 months
test-catch-exc
WIP exception catching in test-framework
Tom Smeding
6 months
test-parallel
WIP parallel test suite
Tom Smeding
3 months
Age
Commit message
Author
2025-07-23
WIP pruneExpr in AST.Count
fancy-count
Tom Smeding
2025-07-07
Fix extremum bug in DualNumbers
HEAD
master
Tom Smeding
2025-06-23
Add stub readme
Tom Smeding
2025-06-21
Merge branch 'sparse'
Tom Smeding
2025-06-18
Some more effects to not ignore
sparse
Tom Smeding
2025-06-18
Don't destroy effects in UnMonoid
Tom Smeding
2025-06-18
Don't destroy effects in UnMonoid
Tom Smeding
2025-06-18
test: Diligently check UnMonoid correctness
Tom Smeding
2025-06-18
test: Diligently check UnMonoid correctness
Tom Smeding
2025-06-18
test: Test both default and accum configs
Tom Smeding
[...]