index
:
chad-fast
evm
fusion
hashable-gadt
master
qualified-contdo
sparse
test-catch-exc
test-parallel
user-types
[no description]
git daemon user
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
16 months
fusion
WIP fusion stuff
Tom Smeding
14 days
hashable-gadt
Some non-working code lol
Tom Smeding
10 months
master
Import CHAD.Language also qualified as L in Example
Tom Smeding
13 days
qualified-contdo
Rewrite CPSy code as do-code using QualifiedDo
Tom Smeding
7 weeks
sparse
Some more effects to not ignore
Tom Smeding
6 months
test-catch-exc
WIP exception catching in test-framework
Tom Smeding
9 months
test-parallel
WIP parallel test suite
Tom Smeding
6 months
user-types
WIP user-specified custom types
Tom Smeding
4 weeks
Age
Commit message
Author
2025-03-17
WIP exception catching in test-framework
test-catch-exc
Tom Smeding
2025-03-16
simplifyOneHotTerm
Tom Smeding
2025-03-15
Complete accumulator revamp!
Tom Smeding
2025-03-15
test-framework: Allow filtering tests by substring
Tom Smeding
2025-03-14
Much process with accumulator revamp
Tom Smeding
2025-03-14
WIP revamp accumulator projection type repr
Tom Smeding
2025-03-11
test: Split adTestGen into one function per test case
Tom Smeding
2025-03-11
test-framework: Even more compact output with testGroupCollapse
Tom Smeding
2025-03-10
test-framework: Improve output
Tom Smeding
2025-03-10
More compact test output
Tom Smeding
[...]