idris-0.9.18: test/idrisdoc002/test_functions.ipkg

package test_functions

opts = "--quiet"

modules = TestFunctions