Getting Started

• What is Agda?
  • Dependent types
• Installation
  • Installation from source
  • Prebuilt Packages and System-Specific Instructions
  • Installation of the Development Version
  • Installation Flags
  • Installing multiple versions of Agda
• ‘Hello world’ in Agda
  • Hello, Agda!
  • Hello, World!
• A Taste of Agda
  • Preliminaries
  • Programming With Dependent Types: Vectors
  • Agda as a Proof Assistant: Proving Associativity of Addition
  • Building an Executable Agda Program
  • Where to go from here?
• A List of Tutorials
  • Books on Agda
  • Tutorials and lecture notes
  • Videos on Agda
  • Courses using Agda
  • Miscellaneous