git.iko.soy/Idris-dev
on 08ddbaa help sign in
history ofsrc/Idris/Docs.hs
all commits
d1e12d5Only show documented arguments in :docDavid Raymond Christiansen 04e2cd8Stop showing __pi_arg and MNs in docsDavid Raymond Christiansen 7faf4e8Show argument names in :docDavid Raymond Christiansen d910c2cUse Markdown to represent docstringsDavid Raymond Christiansen c1ef938New syntax for documentation commentsDavid Raymond Christiansen 68d9e6eAdd some indentation to functions in :docDavid Raymond Christiansen b3be13bMore accurately find argument types in :docDavid Raymond Christiansen e20a6bfMore reliably find argument names in :docDavid Raymond Christiansen 791bd36Use the pretty-printer to show :docDavid Raymond Christiansen 46e894dUse Data.Text for variable namesEdwin Brady 5000aebAdd a Cabal libraryBrian McKenna 3c32b65Whitespace cleanup.George Leontiev 0e76ac9Remember whether implicits are machine generatedEdwin Brady a807a34Remove the unused arg from lookup functionsDavid Christiansen 28ba8debetter lookup for operatorsraichoo 39e0fbaadded fixity of operators to :doc outputraichoo f9a1dabFix pattern variable problem when patterns generated by unificationEdwin Brady 2b7db6aFix 'where' lifting bug Make sure functions have unique names when liftedEdwin Brady 0b3b0b5Display useful information on :doc (It's ugly though...)Edwin Brady