git.iko.soy/Idris-dev
on d496a9c help sign in
Idris-dev/src
2 folders, 1 file
../ Core/simple_app should try both elaboration orders Idris/:e now reloads the edited file Main.hs:e now reloads the edited file