Code formatter

Stream: new members

[Alvise Sembenico]

I search online but i could not find any tool to format the code that gets quite messy for long proof. Any tool/help here? Thanks!

[Chris Wong]

I'm not aware of one (and the fact that you can define custom syntax would make it nontrivial to implement). Maybe someone more knowledgeable can point to ongoing efforts in the area.

[Yaël Dillies]

Search for "code formatter" on Zulip :wink:

[Kevin Buzzard]

Are you saying that there is one Yael or is this an exercise in attempting to prove that there isn't one?

[Alok Singh]

i use gpt and ask it 'format and pretty the code', which works real well. could even use something like ollamato run it on autosave

[Yaël Dillies]

Kevin Buzzard said:

Are you saying that there is one Yael or is this an exercise in attempting to prove that there isn't one?

I am saying there is ongoing discussions about code formatting on Zulip

[Eric Wieser]

Kevin Buzzard said:

Are you saying that there is one Yael or is this an exercise in attempting to prove that there isn't one?

I'm pretty sure there is one Yael, and exercises to prove there is no Yael would be futile

[Ruben Van de Velde]

existsi Yaël Dillies