../ Core/Some progress on implementation paper revisions14 years ago IRTS/Merge branch 'googleclosure' of https://github.com/raichoo/Idris-dev into raichoo-googleclosure14 years ago Idris/More sane scoping rules for where/type classes Parameters in the type signature get propagated, indices do not. So you no longer need to pass parameters explicitly if you need them in a where clause, and you no longer need to give explicitly typed helpers …14 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