idris-0.9.18: test/idrisdoc001/test_empty.ipkg

package test_empty

opts = "--quiet"

modules = TestEmpty, TestPrivate