git.iko.soy/Idris-dev
on dadfc86 help sign in
Idris-dev/docs/tutorial
15 files
../ classes.rstFixed fontification of Idris from code to normal. conclusions.rstFixed fontification of Idris from code to normal. index.rstMerge pull request #2047 from jfdm/userdocs/package-creation interactive.rstFixed fontification of Idris from code to normal. interp.rstFixed fontification of Idris from code to normal. introduction.rstFixed fontification of Idris from code to normal. miscellany.rstFixed fontification of Idris from code to normal. modules.rstFixed fontification of Idris from code to normal. packages.rstFixed fontification of Idris from code to normal. provisional.rstFixed fontification of Idris from code to normal. starting.rstFixed fontification of Idris from code to normal. syntax.rstFixed fontification of Idris from code to normal. theorems.rstAdd reference to theorem proving tutorial typesfuns.rstFixed fontification of Idris from code to normal. views.rstFixed fontification of Idris from code to normal.