git.iko.soy/Idris-dev
on d66da21 help sign in
history ofsrc/Idris/Colours.hs
all commits
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