agda
A dependently typed functional programming language and proof assistant
homepage ↗ hackage: Agda github: agda/agda
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| haskell GitHub ↗ | 2.8.0 | 2 | 2 d | details › |
Versions & arches
Use flags of 2.8.0
- debug Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
- dump-core Write GHC core output.
- emacs Add support for GNU Emacs
- enable-cluster-counting Enable the --count-clusters flag. (If enable-cluster-counting is False, then the --count-clusters flag triggers an error message.)
- +optimise-heavily Enable some expensive optimisations when compiling Agda.
- +stdlib Install the standard library.
- xdg-data-home Install data files under $XDG_DATA_HOME\/agda\/$AGDA_VERSION by default instead of the installation location defined by Cabal. This should not be enabled in declarative build environments like Nix or Guix.