Agda
latest
  • Overview
  • Getting Started
    • What is Agda?
    • Installation
    • ‘Hello world’ in Agda
    • A Taste of Agda
    • A List of Tutorials
  • Language Reference
  • Tools
  • Contribute
  • The Agda Team and License
Agda
  • Getting Started

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
Previous Next

© Copyright 2005–2023 remains with the authors.. Revision f8f97783.

Built with Sphinx using a theme provided by Read the Docs.
Read the Docs v: latest
Versions
latest
v2.6.3
v2.6.2.2
v2.6.2.1
v2.6.2
v2.6.1.3
v2.6.1.2
v2.6.1.1
v2.6.1
v2.6.0.1
v2.6.0
v2.5.4.2
v2.5.4.1
v2.5.4
v2.5.3
v2.5.2
nightly
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds