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.