git.iko.soy/Idris-dev
on 047be9e help sign in
Idris-dev/src
3 folders, 1 file
../ Core/Fix reverse elaboration of dependent pairs Idris/Don't normalise types Util/Some playing around with widths to make everything look nicer. Main.hs-i option added (thanks to Dirk Ullrich)