abb6a78Fix badly formatted DOI linkRobbert Gurdeep Singh8 years ago 65d5427Include nested `with` clauses in tutorialZack Grannan8 years ago 93695e2Fixes a few typos in the tutorial on viewsMarko Dimjašević8 years ago 07ee064Expands on documentation of the 'with' rule (#4195)Rob Stewart9 years ago 2c001c9Refresh the tutorialEdwin Brady10 years ago 06bcf51Add code example and correct the wordingAdam Schønemann10 years ago 0924f34Add documentation for the "with proof" constructAdam Schønemann10 years ago db8116bFixed pipe symbol representationJan de Muijnck-Hughes12 years ago 87039fbHeading normalisation, and reST usage fixes.Jan de Muijnck-Hughes12 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