Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
22
stars
20
forks
source link
More expressive debugging in `handle_reified_rewrite_rules_interp` #132
Closed
JasonGross closed 10 months ago