git.iko.soy/Idris-dev
on 1b71663 help sign in
Idris-dev/libs/base
6 folders, 3 files
../ Control/These are both called by Core.Core in Blodwen, which I also want to make %default total Data/Add takeUpto and dropUpto functions to Data.Vect Debug/Add %used directive for idris_crash Language/Remove old eliminator generation and induction tactic (#4351) Syntax/Change export qualifier keywords System/getMsg leak MakefileAllow overriding IDRIS via environment variable System.idrAdd Clock/clockTime in System base.ipkgRemove old eliminator generation and induction tactic (#4351)