../ Core/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago IRTS/Better IO + faster compilation by avoiding needless cases in EVAL/APPLY14 years ago Idris/Take more care when expanding names in nested parameter blocks14 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.hsAdded the ability to dump bytecode to a file14 years ago