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