Can we have good syntax highlighting on discourse? Where to report it, what code to fix?
Class foo := bar.
Class foo (a : b) := bar.
Can we have good syntax highlighting on discourse? Where to report it, what code to fix?
Class foo := bar.
Class foo (a : b) := bar.
Maybe @Zimmi48 could take a look at site settings?
Indeed, thanks @Lys! I had missed that this was something that I needed to activate specifically.
That’s great, thanks @Lys!