git.iko.soy/Idris-dev
on e8d356f help sign in
Idris-dev
15 folders, 23 files
benchmarks/Update Benchmark to respect new visibility rules. codegen/Fold portable into Codegen docs/Added information about bash completion. icons/Add the idris icon to the windows build idrisdoc/ jsrts/ libs/make lines and unlines agree with Haskell logos/ main/Some internal structural Changes. man/Update version to 0.12.2 rts/Allow CDATA to be copied to other VMs samples/Changed the '[static]' annotation to '%static', for uniformity with the rest of the language. scripts/Move script from /bin to /scripts src/Make totality checker to report partial functions correctly (fix #2884) test/Make totality checker to report partial functions correctly (fix #2884) .gitattributes .gitignorePort the test infrastructure to Tasty .travis.ymlMust include cppcheck and hscolour in each spot in the matrix. CHANGELOG.mdUse system to allow $EDITOR with args CITATION.md CONTRIBUTING.mdRemoved reference to now deprecated dragon egg process CONTRIBUTORSMake totality checker to report partial functions correctly (fix #2884) HLint.hsUpdated custom HLint specification. INSTALL.mdUpdate INSTALL with better path for libFFI LICENSE MakefileDon't use color in Appveyor's console. (#3312) README.mdAdd badges for Stackage LTS and Nightly. RELEASE-CHECKS.mdAddresses #1235 Add release checklist. Setup.hsGenerate extra-source-files using cabal hook appveyor.ymlUse GHC 7.10.3 instead config.mkHook the new test infrastructure to cabal custom.mk-alldepsRemove curses dependency idris-tutorial.pdfUpdated document versions to 0.11 and updated tutorial pdf. idris.cabalSome internal structural Changes. mkpkg.sh stack-shell.nixBumped Idris to LTS 6.9. stack.yamlBumped Idris to LTS 6.9. win-release.sh