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

Adapt to Coq/Coq#18164 #119

Closed Villetaneuse closed 1 year ago

Villetaneuse commented 1 year ago

We want to remove some Arith files deprecated since 8.16

Villetaneuse commented 1 year ago

@JasonGross are you maintainer here? :D

JasonGross commented 1 year ago

Yes, thank you! I've set this to merge if CI passes