idris-0.99.1: test/pkg008/src/NumOps.idr
module NumOps %access export -- to make functions under test visible double : Num a => a -> a double a = a + a triple : Num a => a -> a triple a = a + double a
module NumOps %access export -- to make functions under test visible double : Num a => a -> a double a = a + a triple : Num a => a -> a triple a = a + double a