git.iko.soy/Idris-dev
on 465cc1c help sign in
Idris-dev/libs/base
6 folders, 3 files
../ Control/More library rearranging Data/Make `div` and `mod` functions partial. Debug/IO primitives tweak to support JS Language/Check class arguments for injectivity Syntax/First renaming attempt System/Move System.Concurrency.Raw back to base MakefileModified makefiles to add local IdrisDoc generation. System.idrNew language-dependent FFI base.ipkgMove more less-supported things to contrib