git.iko.soy/Idris-dev
on 22546bc help sign in
Idris-dev/src
2 folders, 1 file
../ Core/Improved where; implicit arguments now expanded during elaboration Idris/:r and :e at the REPL. Main.hs:r and :e at the REPL.