idris-0.9.18: test/idrisdoc004/test_typeclasses.ipkg

package test_typeclasses

opts = "--quiet"

modules = TestTypeclasses