../ conclusions.rstFixed fontification of Idris from code to normal.12 years ago depeff.rstUpdates12 years ago hangman.rstFixed fontification of Idris from code to normal.12 years ago impleff.rstUpdates12 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.rstFixed fontification of Idris from code to normal.12 years ago state.rstMerge pull request #2047 from jfdm/userdocs/package-creation12 years ago summary.rstSphinx Based Documentation for Idris.12 years ago