Versions Packages Information History Related Badges Report

Information for agda

Versions

  • 2.6.1.2
  • 2.6.1
  • 2.5.1.r8151.g4108da695
  • 2.6.1.2 (2)
  • 2.6.1.1
  • 2.6.1 (4)
  • 2.6.0.1 (3)
  • 2.5.4.2
  • 2.5.4.1
  • 2.5.3 (2)
  • 2.5.2 (4)
  • 2.5.1.1
  • 2.4.2.5 (2)
  • 2.4.0.2
  • 2.3.2.2 (2)
  • 2.3.0.1 (2)

Package names

  • Agda (5)
  • agda (4)
  • agda-bin
  • agda-git
  • ghc-Agda
  • math/hs-Agda
  • sci-mathematics/agda

Repositories

Categories

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

Licenses

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