Versions Packages Information History Related Badges Report

Information for haskell:agda-executable

Versions

  • 2.3.0.1
  • 2.3.0.1

Package names

  • Agda-executable (2)

Repositories

Categories

  • Dependent types
  • haskellPackages

Licenses

  • OtherLicense
  • unknown