benchmarks/ codegen/improve the usage message a bit more11 years ago docs/Merge pull request #2518 from jeremy-w/jeremy-w/mark-interactive-proving-as-deprecated11 years ago icons/Added the icon in the wrong dir11 years ago idrisdoc/ iif/ jsrts/javascript: tweak event scheduling11 years ago libs/Fix proof script deprecation warnings11 years ago logos/Added SVG logos11 years ago main/Implement bundled toolchain feature12 years ago man/ rts/Allow pattern matching on BitX constants11 years ago samples/need to import Data.Vect and Data.Fin for interp.idr to compile11 years ago src/Make it possible to disable tactic deprecation11 years ago test/Update tests for proof deprecation11 years ago .gitattributes .gitignoreUpdated gitignore to ignore emacs temp files11 years ago .travis.ymlRemove travis deps unused since llvm & java backend removals.11 years ago CHANGELOGMake it possible to disable tactic deprecation11 years ago CITATION.md CONTRIBUTING.mdTidying CONTRIBUTING.md12 years ago CONTRIBUTORSAdd myself as contributor for #2373 and #256911 years ago LICENSE MakefileAdd a make target to build an Idris without optimization11 years ago README.md 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.cabalMerge pull request #2572 from enolan/cabal-extra-files11 years ago mkpkg.sh stack.yamlAdd Stackage Configuration for easy building11 years ago win-release.shImplement bundled toolchain feature12 years ago