git.iko.soy/Idris-dev
on 8d83d07 help sign in
Idris-dev/src
2 folders, 1 file
../ Core/Added provisional definitions Idris/Type declarations of the form (x,y,z : A) -> B Main.hs:e now reloads the edited file