import "Prelude"

f x = x + 1

g a b = """\(a) + \(b) = \(a+b)"""

main = "f 3 = \(f 3), " + g 1 2
--
f 3 = 4, 1 + 2 = 3