index
:
chad-fast
evm
hashable-gadt
master
test-catch-exc
[no description]
git daemon user
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
CHAD
Commit message (
Expand
)
Author
Age
*
An unused function (descrPrj)
Tom Smeding
8 days
*
Populate accumMap
Tom Smeding
2025-04-06
*
Split product lets before chad
Tom Smeding
2025-04-05
*
Pass around an accumMap (but it's empty still)
Tom Smeding
2025-03-28
*
D2[Array] now has a Maybe instead of zero-size for zero
Tom Smeding
2025-03-26
*
Much process with accumulator revamp
Tom Smeding
2025-03-14
*
Clean up code organisation a little
Tom Smeding
2025-03-09
*
Compile: Implement EWith (TODO EAccum)
Tom Smeding
2025-03-05
*
test: Simplify and make it a bit faster
Tom Smeding
2025-02-28
*
Pretty-printer that supports extension fields
Tom Smeding
2025-01-28
*
Add ext field to remaining AST constructors
Tom Smeding
2025-01-27
*
WIP accum top-level args
Tom Smeding
2024-11-26
*
Prepare for introducing top-level args in accum mod
Tom Smeding
2024-11-23
*
Configuration for CHAD
Tom Smeding
2024-11-14
*
Benchmark
Tom Smeding
2024-11-07
*
Towards a test suite
Tom Smeding
2024-10-07
*
WIP better zero/plus, fixing Accum (...)
Tom Smeding
2024-09-13