Agda
v2.5.4.1
  • Overview
  • Getting Started
    • Prerequisites
    • Installation
    • Quick Guide to Editing, Type Checking and Compiling Agda Code
  • Language Reference
  • Tools
  • Contribute
  • The Agda License
  • The Agda Team
Agda
  • Docs »
  • Getting Started
  • Edit on GitHub

Getting Started¶

  • Prerequisites
    • Installing Emacs under Windows
  • Installation
    • Installation from Hackage
    • Prebuilt Packages and System-Specific Instructions
    • Installation of the Development Version
    • Installation Flags
  • 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
Next Previous

© Copyright 2005-2017 remains with the authors. Agda 2 was originally written by Ulf Norell, partially based on code from Agda 1 by Catarina Coquand and Makoto Takeyama, and from Agdalight by Ulf Norell and Andreas Abel. Agda 2 is currently actively developed mainly by Andreas Abel, Guillaume Allais, Jesper Cockx, Nils Anders Danielsson, Philipp Hausmann, Fredrik Nordvall Forsberg, Ulf Norell, Víctor López Juan, Andrés Sicard-Ramírez, and Andrea Vezzosi. Further, Agda 2 has received contributions by, amongst others, Stevan Andjelkovic, Marcin Benke, Jean-Philippe Bernardy, Guillaume Brunerie, James Chapman, Dominique Devriese, Péter Diviánszki, Olle Fredriksson, Adam Gundry, Daniel Gustafsson, Kuen-Bang Hou (favonia), Patrik Jansson, Alan Jeffrey, Wolfram Kahl, Wen Kokke, Fredrik Lindblad, Francesco Mazzoli, Stefan Monnier, Darin Morrison, Guilhem Moulin, Nicolas Pouillard, Nobuo Yamashita, Christian Sattler, and Makoto Takeyama. The full list of contributors is available at https://github.com/agda/agda/graphs/contributors. Revision 6b1d87f9.

Built with Sphinx using a theme provided by Read the Docs.
Read the Docs v: v2.5.4.1
Versions
latest
v2.5.4.1
v2.5.4
v2.5.3
v2.5.2
Downloads
pdf
htmlzip
epub
On Read the Docs
Project Home
Builds

Free document hosting provided by Read the Docs.