nick34992
6/22/2017 - 1:42 PM

Idris: Double: Int, +

Idris: Double: Int, +

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