benchmarks/Address semantic differences in putting things to STDOUT.12 years ago codegen/Generate interface files for C->Idris calls12 years ago contribs/Address semantic differences in putting things to STDOUT.12 years ago docs/Modified conf.py to work locally if rtd-theme is not installed.12 years ago idrisdoc/ iif/ jsrts/Fix function wrapping bug in JavaScript RTS12 years ago libs/Clean up exports in Data.Nat in contrib12 years ago main/disable windows specific UTF8 encoding12 years ago man/ rts/rts: add getline to Makefile12 years ago samples/Sphinx Based Documentation for Idris.12 years ago src/Make --quiet imply non-verbosity12 years ago test/Make reg029 pass on Windows12 years ago .gitattributes .gitignoreFixes from library reorg12 years ago .travis.ymlfix cppcheck cmdline12 years ago CHANGELOGAdd impossible cases to CHANGELOG12 years ago CITATION.mdAdded a citation file.12 years ago CONTRIBUTING.mdTidying CONTRIBUTING.md12 years ago CONTRIBUTORSInstance docs: Update CHANGELOG and CONTRIBUTORS12 years ago LICENSE MakefileUpdated Makefile to build docs.12 years ago README.mdAdd ReadTheDocs badge to README12 years ago Setup.hsAdd -f execonly to omit library/rts builds12 years ago config.mkadd msse2, fixes #181912 years ago custom.mk-alldeps idris-tutorial.pdf idris.cabalMerge pull request #2080 from jstolarek/T208012 years ago mkpkg.shAdd script to put library docs in a tarball.12 years ago