search

mit-plv / coqutil

Coq library for tactics, basic definitions, sets, maps
MIT License
42 stars 24 forks source link

Adapt to coq/coq#18197 (List and Array fold argument order change) #100

Closed SkySkimmer closed 10 months ago

SkySkimmer commented 11 months ago

Should be backwards compatible (by vendoring the new definition until backward compat is dropped)