0b8f521Capitalize module name to match code sampleJeremy W. Sherman11 years ago 3ad394eUpdate module name to |Btree| to match code sampleJeremy W. Sherman11 years ago 8468d82correct examples so that they actually compilemax ulidtko11 years ago 2eeacc3add missing examplemax ulidtko11 years ago 513ffa8Fixed pygments stylingJan de Muijnck-Hughes12 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 af72159Sphinx Based Documentation for Idris.Jan de Muijnck-Hughes12 years ago