Joachim Breitner (Dec 11 2020 at 13:10): Joachim Breitner (Dec 11 2020 at 13:10):Is there a Coq autoformatter out there?
(I assume I’d know about it and expect the answer is “no”, but worth asking nevertheless.)
Emilio Jesús Gallego Arias (Dec 11 2020 at 13:13):Not one that is reliable, but Coq [and some other tools] do already provide a way to print an AST
Emilio Jesús Gallego Arias (Dec 11 2020 at 13:14):so it wouldn't be too hard to improve it
Emilio Jesús Gallego Arias (Dec 11 2020 at 13:14):to get the desired results
Fabian Kunze (Dec 11 2020 at 13:14):Emilio Jesús Gallego Arias said:
Not one that is reliable, but Coq [and some other tools] do already provide a way to print an AST
The AST of terms or of the whole document?
Bas Spitters (Dec 11 2020 at 14:03):http://www.eelis.net/coqindent/
Last updated: Sep 23 2023 at 14:01 UTC