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

Syntax:

curry f

has structure:

curry(f)

About: