agda

{
  "aliases": [],
  "alternatives": [],
  "build_dependencies": [
    "cabal-install",
    "emacs",
    "pkgconf"
  ],
  "categories": [],
  "caveats": "To use the installed Agda libraries, execute the following commands:\n\n    mkdir -p $HOME/.config/agda\n    cp $HOMEBREW_PREFIX/opt/agda/share/agda/example-libraries $HOME/.config/agda/libraries\n    cp $HOMEBREW_PREFIX/opt/agda/share/agda/example-defaults $HOME/.config/agda/defaults\n\nYou can then inspect the copied files and customize them as needed.\nIf you have upgraded your Agda installation from a previous version, you may need to redo this.\n",
  "conflicts_with": [],
  "dependencies": [
    "ghc@9.12",
    "gmp",
    "icu4c@78"
  ],
  "deprecated": 0,
  "deprecation_reason": null,
  "desc": "Dependently typed functional programming language",
  "disable_reason": null,
  "disabled": 0,
  "enrichment_fetched_at": "2026-06-20T23:35:19+00:00",
  "first_seen": "2026-06-20T23:34:18+00:00",
  "full_name": "agda",
  "github_default_branch": null,
  "github_last_commit_at": null,
  "github_readme_excerpt": null,
  "github_repo": null,
  "github_stars": null,
  "github_topics": [],
  "homepage": "https://wiki.portal.chalmers.se/agda/",
  "homepage_og_description": null,
  "homepage_og_image": null,
  "homepage_title": "The Agda Wiki",
  "installs_30d": 195,
  "installs_365d": 1024,
  "installs_90d": 342,
  "keg_only": 0,
  "keg_only_reason": null,
  "last_seen": "2026-06-20T23:34:18+00:00",
  "license": "MIT AND BSD-3-Clause",
  "llm_generated_at": null,
  "llm_model": null,
  "name": "agda",
  "oldnames": [],
  "one_liner": null,
  "optional_dependencies": [],
  "rank_30d": 2642,
  "rank_365d": 3791,
  "rank_90d": 3344,
  "raw_hash": "3bd87a03f08419ba",
  "recommended_dependencies": [],
  "revision": 0,
  "ruby_source_path": "Formula/a/agda.rb",
  "tap": "homebrew/core",
  "test_dependencies": [],
  "uses_from_macos": [
    "libffi",
    "ncurses"
  ],
  "version_head": "HEAD",
  "version_stable": "2.8.0-r3",
  "versioned_formulae": [],
  "why_use_this": null
}