git.iko.soy/Idris-dev
on 4bebb72 help sign in
Idris-dev/src
6 folders, 1 file
../ Core/Added %unifyLog construct For debugging purposes %unifyLof t will give a trace of unification problems while elaborating t Also, log levels 6 and above will give the trace IRTS/Remove old ifdefs for supporting base<4 since we require base>=4 Idris/Merge pull request #362 from david-christiansen/cmdline-exec Pkg/Some unification fixes RTS/Adding support for Windows MingW32 Util/Remove old ifdefs for supporting base<4 since we require base>=4 Main.hsAdd scripts