Welcome to HAHA’s documentation!

• Introduction
  • Availability
  • Contact
  • Acknowledgements
  • Requirements
• Starting with HAHA
  • Installing required software
  • Installing HAHA
  • Running
• Gentle introduction to HAHA language
• Responses of HAHA
  • Error markers
  • Syntax errors
  • Type errors
  • VCGen errors
  • Console output
• Language reference
  • Lexical conventions
  • Program structure
  • Types
  • Hoare triples
  • Expressions
• Examples
  • Cubic root
  • Exponentiation
  • Binary search
  • Quicksort partition