Idris.Colours
data IdrisColour
data ColourTheme
defaultTheme
colouriseKwd
colouriseBound
colouriseImplicit
colourisePostulate
colouriseType
colouriseFun
colouriseData
colouriseKeyword
colourisePrompt
colourise
data ColourType
hStartColourise
hEndColourise