../ Core/Primitives a-l done13 years ago IRTS/Added backend target specification to %lib, %link and %include directives13 years ago Idris/Fix ordering of auto-implicits with 'using' 'using' arguments always now appear before fully implicit arguments, rather than the order we happen to find them in. TODO: Better would be to sort according to which ones we know depend on each other...13 years ago Pkg/Some unification fixes13 years ago RTS/Adding support for Windows MingW3214 years ago Util/need to update mvn during build as well13 years ago Main.hsdocument ideslave option13 years ago