Versions Packages Information History Related Badges Report

Information for agda

Package names

  • Agda (2)
  • Q20479 (1)
  • agda (5)
  • agda-git (1)

Versions

  • 2.5.1.r5471.51914041f (1)
  • 2.5.4.1 (3)
  • 2.5.4 (1)
  • 2.5.3 (4)
  • 2.5.2 (6)
  • 2.5.1.2 (1)
  • 2.5.1.1 (2)
  • 2.5.1 (1)
  • 2.4.2.5 (3)
  • 2.4.2.4 (1)
  • 2.4.2.3 (1)
  • 2.4.2.2 (1)
  • 2.4.2.1 (1)
  • 2.4.2 (1)
  • 2.4.0.2 (2)
  • 2.4.0.1 (1)
  • 2.4.0 (1)
  • 2.3.2.2 (3)
  • 2.3.2.1 (1)
  • 2.3.2 (1)
  • 2.3.0.1 (1)
  • 2.3.0 (1)
  • 2.2.10 (1)
  • 2.2.8 (1)
  • 2.2.6 (1)
  • 2.2.4 (1)
  • 2.2.2 (1)
  • 2.2.0 (1)
  • 2.1.2 (1)
  • 2.1.0 (1)
  • 2.0.1 (1)
  • 2.0.0 (1)

Repositories

Categories

  • Development/Languages/Other (1)
  • Unspecified (1)
  • haskell (1)
  • misc (1)
  • sci-mathematics (1)
  • universe/haskell (1)

Licenses

  • Berkeley Software Distribution license (1)
  • Expat (1)
  • MIT (1)
  • MIT AND BSD-3-Clause (1)
  • MIT and BSD (1)
  • Modified BSD (1)
  • custom (1)

Summaries

  • A dependently typed functional programming language and proof assistant (4)
  • A dependently typed functional programming language and proof assistant: development version (1)
  • Dependently typed functional programming language (1)
  • Dependently typed functional programming language and proof assistant (1)
  • programming language (1)

Maintainers

Homepages

Downloads