Idris.Colours

data IdrisColour

data ColourTheme

defaultTheme

colouriseKwd

colouriseBound

colouriseImplicit

colourisePostulate

colouriseType

colouriseFun

colouriseData

colouriseKeyword

colourisePrompt

colourise

data ColourType

hStartColourise

hEndColourise