git.iko.soy/Idris-dev
on f572cd0 help sign in
Idris-dev/docs/tutorial
14 files
../ classes.rstSphinx Based Documentation for Idris. conclusions.rstSphinx Based Documentation for Idris. index.rstSphinx Based Documentation for Idris. interactive.rstSphinx Based Documentation for Idris. interp.rstSphinx Based Documentation for Idris. introduction.rstSphinx Based Documentation for Idris. miscellany.rstSphinx Based Documentation for Idris. modules.rstSphinx Based Documentation for Idris. provisional.rstSphinx Based Documentation for Idris. starting.rstSphinx Based Documentation for Idris. syntax.rstSphinx Based Documentation for Idris. theorems.rstSphinx Based Documentation for Idris. typesfuns.rstSphinx Based Documentation for Idris. views.rstSphinx Based Documentation for Idris.