Fix Util/Strings/String.v

mit-plv / rewriter

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

Other

22 stars 20 forks source link

Closed Villetaneuse closed 11 months ago

Villetaneuse commented 11 months ago

@JasonGross There was a remaining minus_0_r. Sorry about it.