git.iko.soy/Idris-dev
on 55ec9cb help sign in
Idris-dev/src
6 folders, 1 file
../ Core/Implement 'pretty' for B{8,16,32,64} IRTS/Fix truncation of Integer in C codegen Idris/Remove unused import Pkg/Some unification fixes RTS/Adding support for Windows MingW32 Util/need to update mvn during build as well Main.hsdocument ideslave option