../ base/Merge branch 'master' of github.com:idris-lang/Idris-dev10 years ago contrib/Add System.Concurrency.Channels10 years ago effects/Replace EffElem with Data.List.Elem11 years ago oldeffects/Change library and expected test results for Float -> Double change11 years ago prelude/Store file with constraints + export10 years ago pruviloj/Generalize the types of mkApp and unApply11 years ago MakefileLibrary of tactics for proof automation with Elab11 years ago