@hackage Agda2.7.0
A dependently typed functional programming language and proof assistant
Deprecated
Tested Compilers
Dependencies (46)
- STMonadTrans >=0.4.3 && <0.5
- Win32 >=2.6.1.0 && <2.15
- aeson >=1.1.2.0 && <2.3
- ansi-terminal >=0.9 && <1.2
- array >=0.5.2.0 && <0.6
- async >=2.2 && <2.3 Show all…
Dependents (14)
@hackage/agda2train, @hackage/lhs2TeX-hl, @hackage/proof-assistant-bot, @hackage/blagda, @hackage/PandocAgda, @hackage/acme-everything, Show all…
Package Flags
debug
(off by default)
Enable debug printing. This makes Agda slightly slower, and building Agda slower as well. The --verbose=N option only has an effect when Agda was built with this flag.
debug-serialisation
(off by default)
Enable debug mode in serialisation. This makes serialisation slower.
debug-parsing
(off by default)
Enable debug mode in parsing. This makes parsing slower.
enable-cluster-counting
(off by default)
Enable the --count-clusters flag. (If enable-cluster-counting is False, then the --count-clusters flag triggers an error message.)
optimise-heavily
(off by default)
Enable some expensive optimisations when compiling Agda.
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 (per-commit pdf can be downloaded from the github actions page)
- CHANGELOG
Getting Started
Contributing to Agda
- Contribution how-to:
HACKING - Haskell style-guide