idris-1.3.2: test/pkg008/maths.ipkg

package maths

sourcedir = src

opts = "--quiet"
modules = NumOps
        , Test

tests = Test.testDouble
      , Test.testTriple