git.iko.soy/Idris-dev
on aeb032a help sign in
history ofsrc/Idris/Colours.hs
all commits
9baa5ceUse GHC generics for NFData instancesEcho Nolan 0896073Added documentation for modules.Jan de Muijnck-Hughes 73f6eb7replace if else with list comprehension syntaxHeather dfba993Experimental support for console colours on WindowsDavid Raymond Christiansen ef1bd24Indicate the end of each escape sequence in the prompt string, since there's no way for Haskeline to detect it automatically.Mort Yao d6c5b2bAdd semantic highlighting for postulatesDavid Raymond Christiansen e9ef380Support text formatting in docstringsDavid Raymond Christiansen 15aebc9Add highlighting for keywords in interpreter outputDavid Raymond Christiansen aadfef8Allow the use of the default foreground colour. Make it the colour of the prompt.David Christiansen 583cc43Add ability to set ANSI italicsDavid Christiansen e3bd62bColourise REPL promptDavid Christiansen fe20bf1Allow colour options from REPLDavid Christiansen 7c45129Colour theme in Idris REPL stateDavid Christiansen 1beb71cBasic colour theme infrastructureDavid Christiansen 6c14565Move colourisation to a separate moduleDavid Christiansen