Go backward to Example
Go up to Top
Go forward to Defining Functions
|
Go backward to Example Go up to Top Go forward to Defining Functions |
|
Various common formats:
f: A -> B x |-> T
f: A -> B f(x) := T
f: A -> B f := lambda x. T
f(x: A): B = T