git.iko.soy/Idris-dev
on bd793e2 help sign in
Idris-dev/src
2 folders, 1 file
../ Core/No letters in operators Idris/Better elaboration of Sigma (for better error messages) Main.hs:e now reloads the edited file