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 Arguments modifiers #501

Closed whonore closed 4 months ago

whonore commented 4 months ago

Adds support for Arguments modifiers. It might be worth writing something like a pp_if combinator to make the if ... then ... else fun _ -> () pattern cleaner.