Getting Started

• What is Agda?
  • Dependent types
• Prerequisites
  • Installing Emacs under Windows
• Installation
  • Installation from Hackage
  • Prebuilt Packages and System-Specific Instructions
  • Installation of the Development Version
  • Installation Flags
• ‘Hello world’ in Agda
• Quick Guide to Editing, Type Checking and Compiling Agda Code
  • Introduction
  • Menus
  • Writing mathematical symbols in source code
  • Errors
  • Compiling Agda programs
  • Batch-mode command
• A List of Tutorials
  • Introduction to Agda
  • Courses using Agda
  • Miscellaneous