../ base/Merge branch 'ioexcept-ffi' of https://github.com/aaronc/Idris-dev into aaronc-ioexcept-ffi11 years ago contrib/Some trivial renamings11 years ago effects/Merge pull request #2886 from jfdm/fix-effect-default11 years ago oldeffects/Change library and expected test results for Float -> Double change11 years ago prelude/Add CData to Idris.11 years ago pruviloj/Change "class/instance" keywords11 years ago MakefileLibrary of tactics for proof automation with Elab11 years ago