git.iko.soy/Idris-dev
on 602ce01 help sign in
Idris-dev/src
3 folders, 1 file
../ Core/Normalise rewrite rule so that they apply more easily Idris/Change meaning of alternative syntax (| a , b , ... |) Now takes the first alternative to elaborate,rather than requiring exactly one to work. Old behaviour reserved for disambiguating namespaces. Util/Some playing around with widths to make everything look nicer. Main.hsAdd --ibcsubdir option (thanks to Dirk Ullrich)