../ Control/Added Catchable for ReaderT, WriterT, and RWST Fix for #3758. Additionally, created MonadTrans instance for RWST. These changes are mostly ported from GHC.9 years ago Data/Added Data.IORef9 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.idradd System.system documentation9 years ago base.ipkgAdded Data.IORef9 years ago