index
:
chad-fast
evm
hashable-gadt
master
qualified-contdo
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
14 months
hashable-gadt
Some non-working code lol
Tom Smeding
8 months
master
Add a stupid Map test
Tom Smeding
2 days
qualified-contdo
Rewrite CPSy code as do-code using QualifiedDo
Tom Smeding
7 hours
sparse
Some more effects to not ignore
Tom Smeding
5 months
test-catch-exc
WIP exception catching in test-framework
Tom Smeding
8 months
test-parallel
WIP parallel test suite
Tom Smeding
5 months
Age
Commit message
Author
7 hours
Rewrite CPSy code as do-code using QualifiedDo
qualified-contdo
Tom Smeding
2 days
Add a stupid Map test
HEAD
master
Tom Smeding
2 days
Fix pretty-printing for Map
Tom Smeding
2 days
Some extra Map optimisations
Tom Smeding
2 days
test-framework: Catch exceptions also in sequential runner
Tom Smeding
2 days
Implement D[map]
Tom Smeding
2 days
Cleanup of D[build] and D[fold1i]
Tom Smeding
3 days
drevLambda works, TODO D[map]
Tom Smeding
3 days
autoWeak: Improve typing
Tom Smeding
4 days
WIP drevLambda abstraction!
Tom Smeding
[...]