git.iko.soy/Idris-dev
on c01becb help sign in
Idris-dev/src
2 folders, 1 file
../ Core/Give invented pattern variables unique names Idris/Don't bind pattern variables if they're in scope Main.hsAdded -o option, and :exec and :t at the REPL