agda ☆
« Back to VersTracker
Description:
Dependently typed functional programming language
Type: Formula  |  Latest Version: 2.8.0-r3@0  |  Tracked Since: Dec 17, 2025
Links: Homepage  |  formulae.brew.sh
Category: Developer tools
Tags: programming-language dependent-types theorem-proving formal-verification functional-programming
Install: brew install agda
About:
Agda is a dependently typed functional programming language, designed for constructing formal mathematical proofs and verified software. It allows types to depend on values, enabling powerful compile-time verification of program correctness. The language features a rich type system and supports interactive theorem proving via its Emacs-based mode.
Key Features:
  • Dependent types for expressing precise specifications
  • Interactive development environment with proof search
  • Curry-Howard correspondence (propositions as types)
  • Unicode support for mathematical notation
  • Compiles to efficient Haskell or JavaScript code
Use Cases:
  • Formal verification of software correctness
  • Interactive theorem proving and mathematical proof assistant
  • Research in programming language theory and type systems
Alternatives:
  • coq – Coq is a similar proof assistant with a different tactic system and syntax
  • lean – Lean offers a more modern syntax and faster compilation with a different standard library approach
  • idris – Idris is another dependently typed language focused on general-purpose programming with effects
License: MIT AND BSD-3-Clause
Dependencies: ghc, gmp
Bottles available for: arm64_tahoe, arm64_sequoia, arm64_sonoma, sonoma, arm64_linux, x86_64_linux
Important Notes:
To use the installed Agda libraries, execute the following commands:

    mkdir -p $HOME/.config/agda
    cp $HOMEBREW_PREFIX/opt/agda/share/agda/example-libraries $HOME/.config/agda/libraries
    cp $HOMEBREW_PREFIX/opt/agda/share/agda/example-defaults $HOME/.config/agda/defaults

You can then inspect the copied files and customize them as needed.
If you have upgraded your Agda installation from a previous version, you may need to redo this.
Version History
Detected Version Rev Change Commit
Jun 4, 2026 8:06pm 2.8.0-r3 0 VERSION_BUMP 55eea952
Sep 14, 2025 2:43pm 0 VERSION_BUMP a8ef8515
Sep 13, 2025 8:14am 0 VERSION_BUMP 99a5228c
Sep 11, 2024 7:48am 2.6.4.3 2 VERSION_BUMP fc888d99
May 19, 2024 1:04pm 2.6.4.3 1 VERSION_BUMP c172ec31
Jan 2, 2024 10:59am 2 VERSION_BUMP f349ab26
Dec 19, 2023 10:06am 1 VERSION_BUMP 2566efc0
Feb 4, 2023 10:10am 0 VERSION_BUMP 4dcb9507
Feb 4, 2023 10:10am 0 VERSION_BUMP aef0f079
Jan 7, 2023 5:31pm 3 VERSION_BUMP f075d6dc
Jan 7, 2023 5:31pm 3 VERSION_BUMP c549076c
Dec 11, 2022 2:34pm 2 VERSION_BUMP e4c37f6f
Dec 8, 2022 9:50am 2 VERSION_BUMP f18b409d
Dec 8, 2022 9:35am 2 VERSION_BUMP 68afdbef
« Back to VersTracker  |  Browse Packages  |  About