idris-0.9.13: test/idrisdoc001/test_empty.ipkg

package test_empty

modules = TestEmpty, TestPrivate