Welcome to Mistake’s documentation!

Contents:

• Introduction
• Mistake User Manual
• Report on the Mistake subsystem
  • Why this project?
  • Desiderata:
  • Lessons Learned:

Indices and tables

• Index
• Search Page