git.iko.soy/Idris-dev
on cdff1db help sign in
history ofsrc/Idris/Docstrings.hs
all commits
e90316aSupport type errors in docstringsDavid Raymond Christiansen 16ff91fAdd syntax for example code to docsDavid Raymond Christiansen 37292e1Save terms in docstringsDavid Raymond Christiansen 8fe60a2Enable word-wrapping in docstringsDavid Raymond Christiansen e9ef380Support text formatting in docstringsDavid Raymond Christiansen fc65c25Make :apropos case-insensitiveDavid Raymond Christiansen 1921424Add :apropos command to REPLDavid Raymond Christiansen d910c2cUse Markdown to represent docstringsDavid Raymond Christiansen