Versions Packages Information History Related Badges Report

Information for agda

Package names

  • Agda (5)
  • agda (5)
  • agda-bin
  • agda-git
  • ghc-Agda
  • hs-Agda

Versions

  • 2.6.0.1
  • 2.6.0.r0.g16eb89fb0
  • 2.5.4.2
  • 2.6.0.1 (2)
  • 2.6.0 (2)
  • 2.5.99.20190207
  • 2.5.4.2 (4)
  • 2.5.4.1 (2)
  • 2.5.4
  • 2.5.3 (3)
  • 2.5.2 (5)
  • 2.5.1.2
  • 2.5.1.1 (2)
  • 2.5.1
  • 2.4.2.5 (3)
  • 2.4.2.4
  • 2.4.2.3
  • 2.4.2.2
  • 2.4.2.1
  • 2.4.2
  • 2.4.0.2 (2)
  • 2.4.0.1
  • 2.4.0
  • 2.3.2.2 (3)
  • 2.3.2.1
  • 2.3.2
  • 2.3.0.1 (2)
  • 2.3.0
  • 2.2.10
  • 2.2.8
  • 2.2.6
  • 2.2.4
  • 2.2.2
  • 2.2.0
  • 2.1.2
  • 2.1.0
  • 2.0.1
  • 2.0.0

Repositories

Categories

  • Dependent types
  • Development/Languages/Other
  • Unspecified
  • haskell
  • haskellPackages
  • math
  • misc
  • sci-mathematics
  • universe/haskell

Licenses

  • BSD licenses
  • Expat
  • MIT
  • MIT AND BSD-3-Clause
  • MIT and BSD
  • Modified BSD
  • OtherLicense
  • custom
  • unknown

Summaries

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

Maintainers

Homepages

Downloads