../ classes.rstUpdates12 years ago conclusions.rstUpdates12 years ago index.rstUpdated license to be CC0 and restored missing section.12 years ago interactive.rstUpdates12 years ago interp.rstUpdates12 years ago introduction.rstDocumentation tweaks12 years ago miscellany.rstSphinx Based Documentation for Idris.12 years ago modules.rstSphinx Based Documentation for Idris.12 years ago provisional.rstSphinx Based Documentation for Idris.12 years ago starting.rstUpdates12 years ago syntax.rstUpdates12 years ago theorems.rstSphinx Based Documentation for Idris.12 years ago typesfuns.rstUpdates12 years ago views.rstUpdates12 years ago