search

UniFormal / IntelliJ-MMT

An IntelliJ-Plugin for MMT (under development)
3 stars 1 forks source link

Feature Request: auto-format code #35

Open ComFreek opened 3 years ago

ComFreek commented 3 years ago

Reformatting code would be awesome, especially for larger files (e.g. math.mmt MitM/Foundation).

Could we eventually use the MMT syntax presenter for this?