git.iko.soy/Idris-dev
on f572cd0 help sign in
Idris-dev/docs
5 folders, 9 files
../ effects/Sphinx Based Documentation for Idris. guides/Sphinx Based Documentation for Idris. image/Sphinx Based Documentation for Idris. reference/Sphinx Based Documentation for Idris. tutorial/Sphinx Based Documentation for Idris. .gitignoreSphinx Based Documentation for Idris. CONTRIBUTING.mdSphinx Based Documentation for Idris. LICENSESphinx Based Documentation for Idris. MakefileSphinx Based Documentation for Idris. README.mdSphinx Based Documentation for Idris. STYLE-GUIDE.mdSphinx Based Documentation for Idris. conf.pyFixed version number in conf to be 0.9.17 index.rstSphinx Based Documentation for Idris. make.batSphinx Based Documentation for Idris.