git.iko.soy/Idris-dev
on 57c8ed3 help sign in
Idris-dev/src
2 folders, 1 file
../ Core/Fix name parsing for nested namespaces Idris/Added 'module' keyword to declare default namespace. 'main' must be in namespace 'main' Main.hs:e now reloads the edited file