git.iko.soy/Idris-dev
on affd239 help sign in
Idris-dev/src
6 folders, 1 file
../ Core/Make prim__readString more consistent with C code IRTS/Added backend target specification to %lib, %link and %include directives Idris/Add type annotations to Primitives.hs to aid in understanding Pkg/Some unification fixes RTS/Adding support for Windows MingW32 Util/need to update mvn during build as well Main.hsdocument ideslave option