search

toku-sa-n / coqfmt

Coq code formatter
https://toku-sa-n.github.io/coqfmt/
GNU Affero General Public License v3.0
21 stars 2 forks source link

PP Generalizable #502

Closed whonore closed 4 months ago

whonore commented 4 months ago

Adds support for Generalizable. Do you have any thoughts about whether coqfmt should try to use the appropriate singular or plural form of commands or whether it should just normalize everything to one or the other?