Agda

External Resources:

Homepage: [hackage.haskell.org]

The following binary packages are built from this source package:

• Agda

  A dependently typed functional programming language and proof assistant

• Agda-common

  Agda common files

• ghc-Agda

  Haskell Agda library

• ghc-Agda-devel

  Haskell Agda library development files

• ghc-Agda-doc

  Haskell Agda library documentation

• ghc-Agda-prof

  Haskell Agda profiling library

• ghc-ap-normalize

  Haskell ap-normalize library

• ghc-ap-normalize-devel

  Haskell ap-normalize library development files

• ghc-ap-normalize-doc

  Haskell ap-normalize library documentation

• ghc-ap-normalize-prof

  Haskell ap-normalize profiling library

• ghc-fmlist

  Haskell fmlist library

• ghc-fmlist-devel

  Haskell fmlist library development files

• ghc-fmlist-doc

  Haskell fmlist library documentation

• ghc-fmlist-prof

  Haskell fmlist profiling library

• ghc-generic-data

  Haskell generic-data library

• ghc-generic-data-devel

  Haskell generic-data library development files

• ghc-generic-data-doc

  Haskell generic-data library documentation

• ghc-generic-data-prof

  Haskell generic-data profiling library

• ghc-ListLike

  Haskell ListLike library

• ghc-ListLike-devel

  Haskell ListLike library development files

• ghc-ListLike-doc

  Haskell ListLike library documentation

• ghc-ListLike-prof

  Haskell ListLike profiling library

• ghc-murmur-hash

  Haskell murmur-hash library

• ghc-murmur-hash-devel

  Haskell murmur-hash library development files

• ghc-murmur-hash-doc

  Haskell murmur-hash library documentation

• ghc-murmur-hash-prof

  Haskell murmur-hash profiling library

• ghc-nonempty-containers

  Haskell nonempty-containers library

• ghc-nonempty-containers-devel

  Haskell nonempty-containers library development files

• ghc-nonempty-containers-doc

  Haskell nonempty-containers library documentation

• ghc-nonempty-containers-prof

  Haskell nonempty-containers profiling library

• ghc-nonempty-vector

  Haskell nonempty-vector library

• ghc-nonempty-vector-devel

  Haskell nonempty-vector library development files

• ghc-nonempty-vector-doc

  Haskell nonempty-vector library documentation

• ghc-nonempty-vector-prof

  Haskell nonempty-vector profiling library

• ghc-peano

  Haskell peano library

• ghc-peano-devel

  Haskell peano library development files

• ghc-peano-doc

  Haskell peano library documentation

• ghc-peano-prof

  Haskell peano profiling library

• ghc-pqueue

  Haskell pqueue library

• ghc-pqueue-devel

  Haskell pqueue library development files

• ghc-pqueue-doc

  Haskell pqueue library documentation

• ghc-pqueue-prof

  Haskell pqueue profiling library

• ghc-process-extras

  Haskell process-extras library

• ghc-process-extras-devel

  Haskell process-extras library development files

• ghc-process-extras-doc

  Haskell process-extras library documentation

• ghc-process-extras-prof

  Haskell process-extras profiling library

• ghc-show-combinators

  Haskell show-combinators library

• ghc-show-combinators-devel

  Haskell show-combinators library development files

• ghc-show-combinators-doc

  Haskell show-combinators library documentation

• ghc-show-combinators-prof

  Haskell show-combinators profiling library

• ghc-vector-hashtables

  Haskell vector-hashtables library

• ghc-vector-hashtables-devel

  Haskell vector-hashtables library development files

• ghc-vector-hashtables-doc

  Haskell vector-hashtables library documentation

• ghc-vector-hashtables-prof

  Haskell vector-hashtables profiling library