../ conclusions.rstFixed fontification of Idris from code to normal.12 years ago depeff.rstRemove captions from docs12 years ago hangman.rstRemove captions from docs12 years ago impleff.rstRemove captions from docs12 years ago index.rstFixes #2045 Fixed reST syntax error in license declaration.12 years ago introduction.rstFixed fontification of Idris from code to normal.12 years ago simpleeff.rstRemove captions from docs12 years ago state.rstMerge pull request #2047 from jfdm/userdocs/package-creation12 years ago summary.rstSphinx Based Documentation for Idris.12 years ago