23a2bfbUpdate tutorial for class->interfaceEdwin Brady11 years ago f4d090cFixes #2036 #2037 Tutorial Updates.Jan de Muijnck-Hughes11 years ago dae335bclarify re: using block and indentationBrent Yorgey11 years ago f236bffmake light of `Data.Vect` and `Data.Fin` imports in the interp exampleanthony cantor11 years ago 315225finsert missed lambda parammax ulidtko11 years ago 160a597wrong word correctedmax ulidtko11 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 2e010b9Extracted listings for prompts into external files.Jan de Muijnck-Hughes12 years ago af72159Sphinx Based Documentation for Idris.Jan de Muijnck-Hughes12 years ago