../ Core/Namespace parsing improvements (for qualified operator names) thanks to Dirk Ullrich14 years ago IRTS/Added defunctionalisation to IRTS idris --fovm now gives a full defunctionalising compiler for a supercombinator language14 years ago Idris/Namespace parsing improvements (for qualified operator names) thanks to Dirk Ullrich14 years ago RTS/Added binding form to syntax rules (and updated tutorial accordingly)14 years ago Util/Some playing around with widths to make everything look nicer.15 years ago Main.hsTest file for new VM, hook up parser14 years ago