idris-0.9.13: test/idrisdoc002/test_functions.ipkg

package test_functions

modules = TestFunctions