git.iko.soy/Idris-dev
on cd58dfb help sign in
Idris-dev/test/pkg008/src/NumOps.idr
9 lines 163 B history raw
1module NumOps
3%access export -- to make functions under test visible
5double : Num a => a -> a
6double a = a + a
8triple : Num a => a -> a
9triple a = a + double a