benchmarks/Fix deprecation warnings in benchmarks10 years ago codegen/Tidying of `idrisMain` (fixes #1454).10 years ago docs/Amended docs and updated CHANGELOG.10 years ago icons/Add the idris icon to the windows build11 years ago idrisdoc/ jsrts/Use synchronous writes in node runtime.10 years ago libs/Allow Idris to install IdrisDoc into a central location.10 years ago logos/ main/Allow Idris to install IdrisDoc into a central location.10 years ago man/Update version number10 years ago rts/Fix minigmp assertion failure10 years ago samples/Remove deprecated calls to return10 years ago scripts/Move script from /bin to /scripts10 years ago src/"Fix" unindented do blocks in let bindings10 years ago test/Set "--port none" in tests10 years ago .gitattributes .gitignorePort the test infrastructure to Tasty10 years ago .travis.ymlMust include cppcheck and hscolour in each spot in the matrix.10 years ago CHANGELOG.mdAmended docs and updated CHANGELOG.10 years ago CITATION.md CONTRIBUTING.mdRemoved reference to now deprecated dragon egg process10 years ago CONTRIBUTORSChange Instance to implementation (#3404)10 years ago HLint.hsUpdated custom HLint specification.10 years ago INSTALL.mdUpdate INSTALL with better path for libFFI10 years ago LICENSE MakefileDon't use color in Appveyor's console. (#3312)10 years ago README.mdAdd IRC badge for #idris channel (#3433)10 years ago RELEASE-CHECKS.mdAddresses #1235 Add release checklist.11 years ago Setup.hsFix build system dir inconsistencies.10 years ago appveyor.ymlUse GHC 7.10.3 instead10 years ago config.mkHook the new test infrastructure to cabal10 years ago custom.mk-alldepsRemove curses dependency11 years ago idris-tutorial.pdfUpdated document versions to 0.11 and updated tutorial pdf.11 years ago idris.cabalRun test suite in parallel by default10 years ago mkpkg.sh stack-shell.nixPushed Stack configuration to latest LTS Haskell Major.10 years ago stack.yamlPushed Stack configuration to latest LTS Haskell Major.10 years ago win-release.sh