../ Control/These are both called by Core.Core in Blodwen, which I also want to make %default total8 years ago Data/Add takeUpto and dropUpto functions to Data.Vect8 years ago Debug/Add %used directive for idris_crash10 years ago Language/Remove old eliminator generation and induction tactic (#4351)9 years ago Syntax/Change export qualifier keywords11 years ago System/getMsg leak9 years ago MakefileAllow overriding IDRIS via environment variable9 years ago System.idrSet C language standard to C99 in runtime and codegen (#4308)9 years ago base.ipkgRemove old eliminator generation and induction tactic (#4351)9 years ago