../ Core/Merge branch 'master' of git://github.com/edwinb/Idris-dev into bitstring14 years ago IRTS/Merge branch 'master' of git://github.com/edwinb/Idris-dev into bitstring14 years ago Idris/Add missing Binary cases for bitstring values14 years ago Pkg/More platform agnostic now14 years ago RTS/Adding support for Windows MingW3214 years ago Util/Fix Util.System so that it compiles again...14 years ago Main.hsjavascript: got rid of --javascript use --target14 years ago