Package Info

Agda

install

A dependently typed functional programming language and proof assistant

Development/Languages/Other
License: MIT AND BSD-3-Clause
URL: https://hackage.haskell.org/package/Agda

Categories

Development Languages Other

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
2.5.2-bp150.1.3 info GA Release 2018-07-31 15
  • ppc64le
  • Agda
  • ghc-Agda
  • ghc-Agda-devel
2.5.2-bp150.1.5 info GA Release 2018-07-30 15
  • x86-64
  • Agda
  • ghc-Agda
  • ghc-Agda-devel