idris-0.99.1: test/pkg008/maths.ipkg

package maths

sourcedir = src

modules = NumOps
        , Test

tests = Test.testDouble
      , Test.testTriple