# Discord Syntax Highlighter Provides Syntax Highlighting for Ground. Simply run this python script (or add to a bot!) # Usage Call the `highlight_program()` function, with the ground program as the argument. This returns text which can be directly copy-pasted into discord.