Agda
stable
  • Overview
  • Getting Started
  • Language Reference
  • Tools
  • Contribute
  • The Agda License
Agda
  • Docs »
  • Welcome to Agda’s documentation!
  • Edit on GitHub

Welcome to Agda’s documentation!¶

  • Overview
  • Getting Started
    • Installation
  • Language Reference
    • Abstract definitions
    • Built-ins
    • Coinduction
    • Copatterns
    • Core language
    • Data Types
    • Foreign Function Interface
    • Function Definitions
    • Function Types
    • Implicit Arguments
    • Instance Arguments
    • Irrelevance
    • Lambda Abstraction
    • Local Definitions: let and where
    • Lexical Structure
    • Literal Overloading
    • Mixfix Operators
    • Module System
    • Mutual Recursion
    • Pattern Synonyms
    • Positivity Checking
    • Postulates
    • Pragmas
    • Record Types
    • Reflection
    • Rewriting
    • Safe Agda
    • Sized Types
    • Telescopes
    • Termination Checking
    • Universe Levels
    • With-Abstraction
    • Without K
  • Tools
    • Automatic Proof Search (Auto)
    • Command-line options
    • Compilers
    • Emacs Mode
    • Generating HTML
    • Generating LaTeX
    • Library Management
  • Contribute
    • Documentation
  • The Agda License

Indices and tables¶

  • Index
  • Search Page
Next

© Copyright 2016, Ulf Norell, Andreas Abel, Nils Anders Danielsson, Makoto Takeyama, Catarina Coquand, with contributions by Stevan Andjelkovic, Marcin Benke, Jean-Philippe Bernardy, James Chapman, Jesper Cockx, Dominique Devriese, Peter Divanski, Fredrik Nordvall Forsberg, Olle Fredriksson, Daniel Gustafsson, Philipp Hausmann, Patrik Jansson, Alan Jeffrey, Wolfram Kahl, Fredrik Lindblad, Francesco Mazzoli, Stefan Monnier, Darin Morrison, Guilhem Moulin, Nicolas Pouillard, Andrés Sicard-Ramírez, Andrea Vezzosi, Philipp Hausmann and many more.. Revision eafc9364.

Built with Sphinx using a theme provided by Read the Docs.
Read the Docs v: stable
Versions
latest
stable
stable-2.5
Downloads
pdf
htmlzip
epub
On Read the Docs
Project Home
Builds

Free document hosting provided by Read the Docs.