git.iko.soy/Idris-dev
on 267f044 help sign in
Idris-dev/src
6 folders, 1 file
../ Core/Improve case compilation by checking most distinct argument first IRTS/Improve case compilation by checking most distinct argument first Idris/possible fixes for missing type signature in data decls Pkg/More platform agnostic now RTS/Adding support for Windows MingW32 Util/Fix Util.System so that it compiles again... Main.hsAdded the ability to dump bytecode to a file