../ Control/Catchable determining arguments10 years ago Data/More docs10 years ago Debug/Add %used directive for idris_crash10 years ago Language/Deal with interfaces in totality differently10 years ago Syntax/Change export qualifier keywords11 years ago System/Fix 'spawn' to return Maybe PID10 years ago MakefileAllow Idris to install IdrisDoc into a central location.10 years ago System.idrMerge branch 'master' of https://github.com/idris-lang/Idris-dev10 years ago base.ipkgMake partial evaluator off by default10 years ago