benchmarks/Update Benchmark to respect new visibility rules.11 years ago codegen/Fold portable into Codegen10 years ago docs/Added information about bash completion.10 years ago icons/Add the idris icon to the windows build11 years ago idrisdoc/ jsrts/ libs/make lines and unlines agree with Haskell10 years ago logos/ main/Addition of a command line flag `--info`.10 years ago man/Update version to 0.12.210 years ago rts/Allow CDATA to be copied to other VMs10 years ago samples/Changed the '[static]' annotation to '%static', for uniformity with the rest of the language.11 years ago scripts/Move script from /bin to /scripts10 years ago src/Add source location data to PUniverse10 years ago test/Fold tests into regression002.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.mdAddition of a command line flag `--info`.10 years ago CITATION.md CONTRIBUTING.mdRemoved reference to now deprecated dragon egg process10 years ago CONTRIBUTORSAdd regression tests for #327510 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.mdSpecify branch in appveyor badge10 years ago RELEASE-CHECKS.mdAddresses #1235 Add release checklist.11 years ago Setup.hsGenerate extra-source-files using cabal hook10 years ago appveyor.ymlAdd appveyor.yml10 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.cabalMoved info show functions to library.10 years ago mkpkg.sh stack-shell.nixBumped Idris to LTS 6.9.10 years ago stack.yamlBumped Idris to LTS 6.9.10 years ago win-release.sh