git.iko.soy/Idris-dev
on b6effdb help sign in
Idris-dev/src
6 folders, 1 file
../ Core/Add type provider errors + test case IRTS/An effect to allocate and manipulate memory Idris/Hack to parse big integer constants without overflow But we still need fromInteger to do the right thing Pkg/More platform agnostic now RTS/Adding support for Windows MingW32 Util/Make dynamic library extension platform-dependent Main.hsquiet mode: for editors