ed93603Fix some typos and normalize the use of punctuations.Oling Cat9 years ago 34da9c5Documents how to include debugging symbolsRob Stewart9 years ago e5334eaTiny fix in the tutorial on default implicitsPatrick Hilhorst9 years ago 38484ffMerge branch 'master' of github.com:idris-lang/Idris-dev into search_for_includes_in_getIdrisLibDirRui Barreiro9 years ago ee64c20changed the docsRui Barreiro9 years ago a82873bTweaked tutorial on default implicit argsSal Wolffs9 years ago db3914dAdded documentation for default implicit argumentsSal Wolffs9 years ago 2c001c9Refresh the tutorialEdwin Brady10 years ago 0e5a476use `Double` instead of `Float` in docszjhmale10 years ago 34c8e1fAdded slightly to the C FFI reference, and corrected a code example i… (#3126)Colin Adams11 years ago 6370744Update docs for 'auto'Edwin Brady11 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 af72159Sphinx Based Documentation for Idris.Jan de Muijnck-Hughes12 years ago