benchmarks/Update Benchmark to respect new visibility rules.11 years ago codegen/Remove --yes-really11 years ago docs/Add where keyword to UList and BadList in the Uniqueness Types documentation.11 years ago icons/Add the idris icon to the windows build11 years ago idrisdoc/ jsrts/Add a getLine primitive to browser js11 years ago libs/Merge pull request #3025 from david-christiansen/feature/elab-reflection/datatypes11 years ago logos/ main/Main.hs: drop unused imports, minor readability improvements11 years ago man/ rts/Implement primitives for accessing floats11 years ago samples/Changed the '[static]' annotation to '%static', for uniformity with the rest of the language.11 years ago src/Fix silly error in totality checker11 years ago test/Add the ability to define datatypes in Elab11 years ago .gitattributes .gitignoreignore .orig files11 years ago .travis.ymlRun benchmarks in travis11 years ago CHANGELOGAdd the ability to define datatypes in Elab11 years ago CITATION.md CONTRIBUTING.mdCONTRIBUTING.md: Fix typo "Factroy" -> "Factory"11 years ago CONTRIBUTORSFile Modes CHANGELOG11 years ago INSTALL.mdAdd instructions to deploy with stack on NixOS. Remove the resolver version from the documentation11 years ago LICENSE MakefileSet target explicitly for test_c11 years ago README.mdUpdates to installation docs for devs.11 years ago Setup.hsUse cabal function for dir11 years ago config.mkRefactor - use else if in config.mk11 years ago custom.mk-alldepsRemove curses dependency11 years ago idris-tutorial.pdfUser Docs updates11 years ago idris.cabalUpdate cabal11 years ago mkpkg.sh stack-shell.nixRemove curses dependency11 years ago stack.yamlAdded missing libFFI dependency for Stack.11 years ago win-release.sh