git.iko.soy/Idris-dev
on bc8da8d help sign in
Idris-dev/libs/base
6 folders, 3 files
../ Control/Add Alternative implementation for StateT Data/Fixes #4161. Extracted mkNo to a top-level function for performance improvements Debug/Add %used directive for idris_crash Language/Add Functor implementation for FunClause and FunDefn 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.ipkgTidy up iPKG module listings.