git.iko.soy/Idris-dev
on f35d483 help sign in
Idris-dev/libs/base
6 folders, 3 files
../ Control/mtimes, stimes, and Monoid for Iso Data/Minor cleanup Debug/Add %used directive for idris_crash Language/Remove old eliminator generation and induction tactic (#4351) Syntax/Change export qualifier keywords System/Fix 'spawn' to return Maybe PID MakefileAllow Idris to install IdrisDoc into a central location. System.idrSet C language standard to C99 in runtime and codegen (#4308) base.ipkgRemove old eliminator generation and induction tactic (#4351)