Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
22
stars
20
forks
source link
Adapt to coq/coq#18197 (List and Array fold argument order change) #120
Closed
SkySkimmer closed 11 months ago
Should be backwards compatible (by vendoring the new definition until backward compat is dropped)