git.iko.soy/Idris-dev
on 649330f help sign in
Idris-dev/src
6 folders, 1 file
../ Core/Add type provider errors + test case IRTS/Proper initialization semantics for raw memory Idris/Disallow laziness annotations below top level (since they don't work there) Handles issue #263 Pkg/More platform agnostic now RTS/Adding support for Windows MingW32 Util/Implement dynamic linking on Windows Main.hsquiet mode: for editors