git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/test/idrisdoc001
5 files
../ TestEmpty.idrAdded IdrisDoc tests TestPrivate.idrNamespaces only containing private members is now correctly considered empty expectedNamespaces only containing private members is now correctly considered empty runNamespaces only containing private members is now correctly considered empty test_empty.ipkgNamespaces only containing private members is now correctly considered empty