Agda
v2.6.2.1
  • Overview
  • Getting Started
  • Language Reference
  • Tools
  • Contribute
  • The Agda Team and License
Agda
  • Docs »
  • Search

© Copyright 2005–2021 remains with the authors. Revision 59c7944b.

Built with Sphinx using a theme provided by Read the Docs.