git.iko.soy/Idris-dev
on 0250ca6 help sign in
Idris-dev/src
6 folders, 1 file
../ Core/Better laziness behavior, still a bit off with IO IRTS/Remove the unused arg from lookup functions Idris/Fix scoping rules on lhs of with clause Pkg/More platform agnostic now RTS/Adding support for Windows MingW32 Util/Implement dynamic linking on Windows Main.hsRemove dynamically loaded RTS due to 32/64-bit issues on OS X