T:Type{i}, U:Type{j}, V:Type{k}, f:(T
U
V). curry f 
TUVT:Type{i}, U:Type{j}, V:Type{k}, f:(TUV). uncurry f TUV| Who Cites curry? | |
| curry | Def curry f(x,y) == f( < x,y > ) |
| Thm* T:Type{i}, U:Type{j}, V:Type{k}, f:(TUV). curry f TUV | |
| uncurry | Def uncurry f(x) == x/l,r. f(l,r) |
| Thm* T:Type{i}, U:Type{j}, V:Type{k}, f:(TUV). uncurry f TUV |
About:
 |  |  |  |  |  |  |  |  |