/rewriter

Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting

Primary LanguageCoqOtherNOASSERTION

No issues in this repository yet.