../ Core/Add a reducing version of believe_me (be careful!)14 years ago IRTS/javascript: filter all nonascii letters from identifiers14 years ago Idris/Arguments under type constructors are not forceable!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