nick34992
6/22/2017 - 9:30 PM

Idris: Int Addition

Idris: Int Addition

add : Int -> Int -> Int
add x y = x + y