search

mit-plv / rewriter

Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
Other
22 stars 20 forks source link

Add type.eqv_of_is_not_higher_order #127

Closed JasonGross closed 10 months ago