10 lines
116 B
Agda
10 lines
116 B
Agda
module Number
|
|
|
|
import Prelude
|
|
|
|
add : Int → Int → Int
|
|
add a b = a + b
|
|
|
|
main : IO Unit
|
|
main = printLn $ add 2$ 40
|