git.iko.soy/Idris-dev
on bd8ea0a help sign in
Idris-dev/libs/base
6 folders, 3 files
../ Control/Added Catchable for ReaderT, WriterT, and RWST Fix for #3758. Additionally, created MonadTrans instance for RWST. These changes are mostly ported from GHC. Data/Added Data.IORef Debug/Add %used directive for idris_crash Language/Deal with interfaces in totality differently Syntax/Change export qualifier keywords System/Fix 'spawn' to return Maybe PID MakefileAllow Idris to install IdrisDoc into a central location. System.idradd System.system documentation base.ipkgAdded Data.IORef