git.iko.soy/Idris-dev
on f1c7faf help sign in
Idris-dev/src
2 folders, 1 file
../ Core/Extension parsing, now deferring checks name is unique Idris/Added tactics construct, and tactic sequencing/choice Main.hsAdded -o option, and :exec and :t at the REPL