idris-0.9.18: test/idrisdoc003/test_datatypes.ipkg

package test_datatypes

opts = "--quiet"

modules = TestDatatypes