git.iko.soy/Idris-dev
on d676ca6 help sign in
Idris-dev/src
2 folders, 1 file
../ Core/More care with naming in where clauses Idris/Added -o option, and :exec and :t at the REPL Main.hsAdded -o option, and :exec and :t at the REPL