Function Expression Contents SyntaxTypingSemanticsExamples Syntax fn_expr ::= '|' param_list '|' expr | '||' expr Typing Semantics Examples TODO