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

Schedule dependabot updates leading fiat-crypto #153

Closed JasonGross closed 6 months ago

JasonGross commented 6 months ago

A la https://github.com/mit-plv/rupicola/pull/117