blob: 71ccfe4d16497efdee3b51e8f40c4dbe596c49c3 (
plain)
1
2
3
4
5
6
7
8
9
10
|
module F1 where
f1 = let h1 n x = if x<n then let v = h1 n (x+1)
in \y -> v (x+y)
else \y -> y
in h1 5 1 5
g = \x1-> \x2-> \x3-> \x4-> \x5-> x1+x2+x3+x4+x5
s f = f 3
h = s g 6 7 8
|