../ effects/Fix missing imports in effects tutorial12 years ago guides/Updates12 years ago image/Sphinx Based Documentation for Idris.12 years ago listing/Extracted listings for prompts into external files.12 years ago reference/Updates12 years ago tutorial/Documentation tweaks12 years ago .gitignoreSphinx Based Documentation for Idris.12 years ago LICENSEUpdated license to be CC0 and restored missing section.12 years ago MakefileSphinx Based Documentation for Idris.12 years ago README.mdUpdated readme and removed style-guide.12 years ago conf.pyUpdated theme to work woth read the docs.12 years ago index.rstDocumentation tweaks12 years ago make.batSphinx Based Documentation for Idris.12 years ago