git.iko.soy/Idris-dev
on ace080c help sign in
Idris-dev/src
6 folders, 1 file
../ Core/squash potential space leaks by using strict foldl IRTS/javascript: fix ptr handling Idris/Merge branch 'MixingImplicitArgs' of https://github.com/JanBessai/Idris-dev into JanBessai-MixingImplicitArgs Pkg/squash potential space leaks by using strict foldl RTS/Adding support for Windows MingW32 Util/First check for exact filename when dynamically loading C lib Main.hsRemove dynamically loaded RTS due to 32/64-bit issues on OS X