blob: 5f6716bf41f57e61d6e327a8235e2e95b71e89b4 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
start :: fn {
one := fn -> int {
ret 1
}
add := fn a: int, b: int -> int {
ret a + b
}
add(one(), one()) <=> 2
add(add(one(), one()), one()) <=> 3
add(one(), add(one(), one())) <=> 3
}
|