git.iko.soy/Idris-dev
on acb1f19 help sign in
Idris-dev/src
2 folders, 1 file
../ Core/Fix name parsing for nested namespaces Idris/Add :a comment, to add most recent proof script to source file Main.hs:e now reloads the edited file