git.iko.soy/Idris-dev
on 751fb32 help sign in
history ofsrc/Idris/Docstrings.hs
all commits
8d96041Annotate links with their URLDavid Raymond Christiansen 0f86748Fix build errors with GHC 7.10.1. Fixes #2080Jan Stolarek 177b96bRemove -Werror from all filesDavid Raymond Christiansen 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