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