git.iko.soy/Idris-dev
on 774b7ff help sign in
Idris-dev/docs/tutorial
15 files
../ conclusions.rstFix links index.rstRefresh the tutorial interactive.rstSpelling in Sphinx documentation interfaces.rstUpdate interfaces to remove use of constants interp.rstClarified the formatting in the section on `If`. introduction.rstRefresh the tutorial miscellany.rstMerge branch 'master' of github.com:idris-lang/Idris-dev into search_for_includes_in_getIdrisLibDir modules.rstRefresh the tutorial packages.rstRefresh the tutorial provisional.rstUpdate tutorial for class->interface starting.rstRefresh the tutorial syntax.rstFix reference to "refl" in misc reference theorems.rstRefresh the tutorial typesfuns.rstRefresh the tutorial views.rstRefresh the tutorial