git.iko.soy/Idris-dev
on 58875b2 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.rstFixes build errors relating to use of Sphinx 1.2.2. introduction.rstFixed fontification of Idris from code to normal. miscellany.rstFixed fontification of Idris from code to normal. modules.rstFixes build errors relating to use of Sphinx 1.2.2. packages.rstFixed fontification of Idris from code to normal. provisional.rstFixed fontification of Idris from code to normal. starting.rstFixes build errors relating to use of Sphinx 1.2.2. syntax.rstFixed fontification of Idris from code to normal. theorems.rstFix more pandoc conversion errors typesfuns.rstFixes build errors relating to use of Sphinx 1.2.2. views.rstFixed fontification of Idris from code to normal.