idris-0.9.13: test/idrisdoc004/test_typeclasses.ipkg

package test_typeclasses

modules = TestTypeclasses