index
:
chad-fast
evm
fusion
hashable-gadt
master
multihot-cotangents
qualified-contdo
sparse
test-catch-exc
test-parallel
user-types
[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
17 months
fusion
WIP fusion stuff
Tom Smeding
7 weeks
hashable-gadt
Some non-working code lol
Tom Smeding
11 months
master
Optimise eflatten
Tom Smeding
4 hours
multihot-cotangents
Multihot cotangents WIP (doesn't work)
Tom Smeding
4 hours
qualified-contdo
Rewrite CPSy code as do-code using QualifiedDo
Tom Smeding
3 months
sparse
Some more effects to not ignore
Tom Smeding
7 months
test-catch-exc
WIP exception catching in test-framework
Tom Smeding
10 months
test-parallel
WIP parallel test suite
Tom Smeding
7 months
user-types
WIP user-specified custom types
Tom Smeding
9 weeks
Age
Commit message
Author
4 hours
Multihot cotangents WIP (doesn't work)
multihot-cotangents
Tom Smeding
4 hours
Optimise eflatten
HEAD
master
Tom Smeding
2025-12-10
Import CHAD.Language also qualified as L in Example
Tom Smeding
2025-11-26
APIv1: Some fixes
Tom Smeding
2025-11-22
Add a simplify rule
Tom Smeding
2025-11-22
Remove redundant test dependency
Tom Smeding
2025-11-22
Add some .gitignores
Tom Smeding
2025-11-22
Fix typo
Tom Smeding
2025-11-13
UnMonoid: Use eunPair
Tom Smeding
2025-11-13
Sparse: Maybe prevent another SpSparse introduction
Tom Smeding
[...]