benchmarks/ codegen/Implement bundled toolchain feature12 years ago docs/Update running text to match code change11 years ago icons/Icons and mimetype declarations11 years ago idrisdoc/ iif/ jsrts/javascript: tweak event scheduling11 years ago libs/Fix typo in docstring for Tactics.apply11 years ago logos/Added SVG logos11 years ago main/Implement bundled toolchain feature12 years ago man/ rts/Show Double with full precision on C backend11 years ago samples/need to import Data.Vect and Data.Fin for interp.idr to compile11 years ago src/Insert namespace information to declaration-level %runElab11 years ago test/Update test for new API11 years ago .gitattributes .gitignoreAdd Stackage Configuration for easy building11 years ago .travis.ymlRemove travis deps unused since llvm & java backend removals.11 years ago CHANGELOGAllow syntax rules at the declaration level11 years ago CITATION.md CONTRIBUTING.mdTidying CONTRIBUTING.md12 years ago CONTRIBUTORSAdded SVG logos11 years ago LICENSE MakefileAdd a make target to build an Idris without optimization11 years ago README.mdAdd ReadTheDocs badge to README12 years ago Setup.hsRemove unused imports11 years ago config.mkAdd AR and RANLIB envs for exherbo multiarch.11 years ago custom.mk-alldepsSaner set of suggested defaults for cabal flags.12 years ago idris-tutorial.pdfUpdated PDF version of tutorial to current release.11 years ago idris.cabalAllow syntax rules at the declaration level11 years ago mkpkg.sh stack.yamlAdd Stackage Configuration for easy building11 years ago win-release.shImplement bundled toolchain feature12 years ago