index
:
chad-fast
evm
hashable-gadt
master
sparse
test-catch-exc
test-parallel
[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
10 months
hashable-gadt
Some non-working code lol
Tom Smeding
4 months
master
Add stub readme
Tom Smeding
2 days
sparse
Some more effects to not ignore
Tom Smeding
7 days
test-catch-exc
WIP exception catching in test-framework
Tom Smeding
3 months
test-parallel
WIP parallel test suite
Tom Smeding
6 days
Age
Commit message
Author
2025-02-27
Some non-working code lol
hashable-gadt
Tom Smeding
2025-02-25
Add .ccls-cache to .gitignore
Tom Smeding
2025-02-25
Comment unhandled cases instead of getting 1e6 warnings
Tom Smeding
2025-02-25
UnMonoid: Properly recurse
Tom Smeding
2025-02-25
Pretty: Allow colouring exts (currently not)
Tom Smeding
2025-02-25
Compile: Emit structs in proper order
Tom Smeding
2025-01-28
Purge Example.Format
Tom Smeding
2025-01-28
Pretty-printer that supports extension fields
Tom Smeding
2025-01-27
Complete identity analysis
Tom Smeding
2025-01-27
Add ext field to remaining AST constructors
Tom Smeding
[...]