idris-0.9.13: test/idrisdoc003/test_datatypes.ipkg

package test_datatypes

modules = TestDatatypes