git.iko.soy/Idris-dev
on d479f4a help sign in
Idris-dev/src
6 folders, 1 file
../ Core/Minor cleanup and better comment and Haddock IRTS/Merge pull request #246 from bitlisp/ffi2 Idris/Improved performance by not going through PQuote and doing less normalisation Pkg/More platform agnostic now RTS/Adding support for Windows MingW32 Util/Make dynamic library extension platform-dependent Main.hsquiet mode: for editors