Read on Wikipedia

Image: The Agda Community / Miëtek Bak · BSD

Agda (programming language)

Agda (programming language)

Functional programming language.

Super rare
77 views/day1 owner

No account needed. By playing, you confirm you're 13 or older and agree to the Terms of use.

1 owner

Super rareTop 12%

Category: Empty

1 owner
1 copy
1 pull
Wishlisted
0
In 0 albums
On 0 showcases
Market listings
0
Super rare1 copy

First pulled by Submissive, Oct 31, 2026

Wikipedia views per dayLast 30 days 2,442

Not sold on the market yet.

Readers' pathsAug 2026 – Oct 2026

Readers go next to

Share of the 1,647 clicks on its links

  1. Rocq

    Proof assistant.

    15%

  2. Proof assistant

    Interactive theorem prover software.

    15%

  3. Chalmers University of Technology

    University in Gothenburg, Sweden.

    7.5%

  4. Thierry Coquand

    French computer scientist and mathematician.

    6.3%

  5. Haskell

    Functional programming language.

    4.6%

  6. Ada (programming language)

    High-level programming language first released in 1980.

    1.4%

  7. Programming language

    Language for controlling a computer.

    0.73%

Readers come from

Share of the 1,774 readers arriving from another article

  1. Haskell

    Functional programming language.

    20%

  2. Proof assistant

    Interactive theorem prover software.

    14%

  3. Isabelle (proof assistant)

    Higher-order logic (HOL) automated theorem prover.

    7.6%