git.iko.soy/Idris-dev
on 02f57ef help sign in
Idris-dev/src
6 folders, 1 file
../ Core/Make prim__readString more consistent with C code IRTS/Fix for conversion methods in the Java backend Idris/Default to Integer instead of Int, and adjust fromInteger accordingly Pkg/Some unification fixes RTS/Adding support for Windows MingW32 Util/Add the RTLD_GLOBAL option to dlopen Main.hsdocument ideslave option