git.iko.soy/Idris-dev
on 536112d help sign in
Idris-dev/src
2 folders, 1 file
../ Core/Added Constraints.hs for universe constrain solving (but don't expect it to work yet...) Idris/Changed lookup to return a list (preparation for namespaces) Main.hs:e now reloads the edited file