Learn

Learn about the concepts that are most important to you.

Contents

• Functions
  • Function Specifications
  • Verifying Some Examples
• Control Flow
  • `if` Statements
  • Loop Invariants
• Classes
  • Class Representation Predicates
  • Class Representation Predicates, alternative
  • Hints about Reps
  • Sharing with Fractional Permissions