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