e7c7faaFix typo in Dep.Eff documentation.Stevan Andjelkovic9 years ago 35958e3class->interface change in rest of tutorialEdwin Brady11 years ago 7f6f3c4Spelling in Sphinx documentationEcho Nolan11 years ago 9202fa1Fix linksJan de Muijnck-Hughes11 years ago 2ac0079Bring effects tutorial up to dateEdwin Brady11 years ago 87039fbHeading normalisation, and reST usage fixes.Jan de Muijnck-Hughes12 years ago 83ff2b6Merge pull request #2047 from jfdm/userdocs/package-creationJan de Muijnck-Hughes12 years ago c093a9aFixed fontification of Idris from code to normal.Jan de Muijnck-Hughes12 years ago 56adfb6Effects tutorial fixdefanor12 years ago 11c5ceaFix missing imports in effects tutorialv0.9.17Edwin Brady12 years ago ef50150UpdatesJan de Muijnck-Hughes12 years ago af72159Sphinx Based Documentation for Idris.Jan de Muijnck-Hughes12 years ago