return type return statement best practices
functions
unit return type
evaluation Boolean expressions expressions reduction rules termination
parameters functions
infix notation arity-1
return type best practices type inference
return type return statement
evaluation conditional expressions by-name if-else by-value termination
