天泣記

2018-10-01 (Mon)

#1 coq issue #8607 pattern matching printer doesn't show a binder for used variable: coq issue #8607 pattern matching printer doesn't show a binder for used variable