Go backward to ExampleGo up to TopGo forward to Defining Functions |

Various common formats:

f:A->Bx|->T

f:A->Bf(x) :=T

f:A->Bf:= lambdax.T

f(x:A):B=T

Author: Wolfgang Schreiner

Last Modification: October 14, 1999