43e7ec9Updated remaining use of deprecated `return` in Docs to `pure`.Jan de Muijnck-Hughes10 years ago 4dc2a6aChange name of Err to Error (#3187)Tim McGilchrist10 years ago caa6cb6Fixed use of reST in effects tutorial.Jan de Muijnck-Hughes11 years ago 35958e3class->interface change in rest of tutorialEdwin Brady11 years ago bde101fBetter inference for case blocksEdwin Brady11 years ago 62e662bRestructed vector add example and fixed error in code snippet.Craig McLaughlin11 years ago 7f6f3c4Spelling in Sphinx documentationEcho Nolan11 years ago 2ac0079Bring effects tutorial up to dateEdwin Brady11 years ago 87039fbHeading normalisation, and reST usage fixes.Jan de Muijnck-Hughes12 years ago df9c178Fixes build errors relating to use of Sphinx 1.2.2.Jan de Muijnck-Hughes12 years ago 628ddcbRemove captions from docsEdwin Brady12 years ago c093a9aFixed fontification of Idris from code to normal.Jan de Muijnck-Hughes12 years ago ef50150UpdatesJan de Muijnck-Hughes12 years ago af72159Sphinx Based Documentation for Idris.Jan de Muijnck-Hughes12 years ago