nick34992
6/23/2017 - 9:01 PM

Idris: Int, Num, double, quadruple

Idris: Int, Num, double, quadruple

double : Int -> Int
double x = x + x

quadruple : Num a => Int -> Int
quadruple x = double (double x)