../ Core/Change forall tactic to use unify rather than isType Fixes issue #18914 years ago IRTS/Merge pull request #246 from bitlisp/ffi214 years ago Idris/quiet mode: for editors14 years ago Pkg/More platform agnostic now14 years ago RTS/Adding support for Windows MingW3214 years ago Util/Proper executable and object file creation via maven + need for run_java tests removed14 years ago Main.hsquiet mode: for editors14 years ago