git.iko.soy/Idris-dev
on 628ddcb 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.rstRemove captions from docs introduction.rstFixed fontification of Idris from code to normal. miscellany.rstFixed fontification of Idris from code to normal. modules.rstRemove captions from docs packages.rstFixed fontification of Idris from code to normal. provisional.rstFixed fontification of Idris from code to normal. starting.rstRemove captions from docs syntax.rstFixed fontification of Idris from code to normal. theorems.rstFix more pandoc conversion errors typesfuns.rstFixed fontification of Idris from code to normal. views.rstFixed fontification of Idris from code to normal.