git.iko.soy/Idris-dev
on ebbae35 help sign in
Idris-dev/libs/base
6 folders, 3 files
../ Control/Tidy up name warnings in Prelude Data/Change type of HVect.put/get/update so auto works Debug/Add deprecation warning for %elim Language/Simplifications to Elab Syntax/First renaming attempt System/Some Prelude reorganisation MakefileModified makefiles to add local IdrisDoc generation. System.idrFix typo in doc comment base.ipkgparsing negative and non negative numbers