1. Eq’s uses

• 1.1. Pretty printing
  • 1.1.1. Pretty printing in a terminal
  • 1.1.2. Pretty printing to a file
  • 1.1.3. Pretty printing from a file
• 1.2. Calculator
  • 1.2.1. Basic calculation
  • 1.2.2. Operators
  • 1.2.3. Know which operator are available
• 1.3. Preprocessor
  • 1.3.1. Why a preprocessor?
  • 1.3.2. Example
  • 1.3.3. Source code markup
  • 1.3.4. Supported languages
• 1.4. Interactive use
  • 1.4.1. REPL
• 1.5. Online help
  • 1.5.1. Command line help