git.iko.soy/Idris-dev
on 2da8c19 help sign in
Idris-dev/libs/base
6 folders, 3 files
../ Control/Turn IOException into a record to avoid the let-binding patmatch. Data/Parsing doubles from strings Debug/Add deprecation warning for %elim Language/Merge remote-tracking branch 'upstream/master' into shlevy-elab-lookup-function-def Syntax/First renaming attempt System/Some Prelude reorganisation MakefileModified makefiles to add local IdrisDoc generation. System.idrChange internal names of pattern bindings base.ipkgMove List quantifiers to base