2c001c9Refresh the tutorialEdwin Brady10 years ago efd9950Updates to User Docs on Idris packages.Jan de Muijnck-Hughes10 years ago d252261Update docs to clarify reduction for total functionsEric Weinstein11 years ago 23a2bfbUpdate tutorial for class->interfaceEdwin Brady11 years ago 9f04257UpdatesJan de Muijnck-Hughes11 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 454ec21Add section on package creation, and typo fixes.Jan de Muijnck-Hughes12 years ago 8b70c6aFixes #2045 Fixed reST syntax error in license declaration.Jan de Muijnck-Hughes12 years ago b70f2f1Updated license to be CC0 and restored missing section.Jan de Muijnck-Hughes12 years ago af72159Sphinx Based Documentation for Idris.Jan de Muijnck-Hughes12 years ago