../ classes.rstFixed fontification of Idris from code to normal.12 years ago conclusions.rstFixed fontification of Idris from code to normal.12 years ago index.rstMerge pull request #2047 from jfdm/userdocs/package-creation12 years ago interactive.rstFixed fontification of Idris from code to normal.12 years ago interp.rstRemove captions from docs12 years ago introduction.rstFixed fontification of Idris from code to normal.12 years ago miscellany.rstFixed fontification of Idris from code to normal.12 years ago modules.rstRemove captions from docs12 years ago packages.rstFixed fontification of Idris from code to normal.12 years ago provisional.rstFixed fontification of Idris from code to normal.12 years ago starting.rstMerge pull request #2055 from jfdm/doc/missing-example12 years ago syntax.rstFixed fontification of Idris from code to normal.12 years ago theorems.rstFix more pandoc conversion errors12 years ago typesfuns.rstFixed fontification of Idris from code to normal.12 years ago views.rstFixed fontification of Idris from code to normal.12 years ago