victoria-petite/agda

Agda is a dependently typed programming language / interactive theorem prover.

Agda 2

Note that this README is only about Agda, not its standard library. See the Agda Wiki for information about the library.

Documentation

• User manual
• CHANGELOG

Getting Started

• Prerequisites
• Installation
• Quick guide to editing, type checking and compiling Agda code

Contributing to Agda

• Contribution how-to: HACKING
• Haskell style-guide