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.