git.iko.soy/Idris-dev
on cc883a4 help sign in
Idris-dev/src
6 folders, 1 file
../ Core/Improve elaboration efficiency by cutting down on excessive backtracking IRTS/javascript: fixed parameter translation Idris/REPL shouldn't try to be too clever... Fixes first part of issue #150 Pkg/More platform agnostic now RTS/Adding support for Windows MingW32 Util/Fix Util.System so that it compiles again... Main.hsjavascript backend