benchmarks/Fix deprecation warnings in benchmarks10 years ago codegen/Tidying of `idrisMain` (fixes #1454).10 years ago docs/Update version number10 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/Fix deprecation warning in Language.Reflection10 years ago logos/ main/Fix misleading comment about IDE Mode server.10 years ago man/Update version number10 years ago rts/Fix minigmp assertion failure10 years ago samples/Change Instance to implementation (#3404)10 years ago scripts/Move script from /bin to /scripts10 years ago src/Work around GHCJS's patched export of isWindows from System.FilePath10 years ago test/Added test for incorrect FFI C usage.10 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.mdChange Instance to implementation (#3404)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 badges for Stackage LTS and Nightly.10 years ago RELEASE-CHECKS.mdAddresses #1235 Add release checklist.11 years ago Setup.hsInstall packages in sub-directory of Idris' data dir.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.cabalUpdate version number10 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