(8steps)
PrintForm
lambda
jlc
Sections
Support(jlc)
Doc
At:
curry
uncurry
inverse
1
1.
T:
Type{i}
2.
U:
Type{j}
3.
V:
Type{k}
4.
f:
T
U
V
f = (
x.x/l,r. (
x,y. f( < x,y > ))(l,r))
By:
Reduce 0
Generated subgoal:
1
f = (
x.x/l,r. f( < l,r > ))
About:
(8steps)
PrintForm
lambda
jlc
Sections
Support(jlc)
Doc
f = (
x.x/l,r. f( < l,r > ))
U
V
f = (x.x/l,r. (x,y. f( < x,y > ))(l,r))
f = (x.x/l,r. f( < l,r > ))
