Source Package Agda

Subpackages

• Agda - A dependently typed functional programming language and proof assistant
• ghc-Agda - Haskell Agda library
• ghc-Agda-devel - Haskell Agda library development files
• ghc-EdisonAPI - Haskell EdisonAPI library
• ghc-EdisonAPI-devel - Haskell EdisonAPI library development files
• ghc-EdisonCore - Haskell EdisonCore library
• ghc-EdisonCore-devel - Haskell EdisonCore library development files
• ghc-geniplate-mirror - Haskell geniplate-mirror library
• ghc-geniplate-mirror-devel - Haskell geniplate-mirror library development files
• ghc-monadplus - Haskell monadplus library
• ghc-monadplus-devel - Haskell monadplus library development files
• ghc-murmur-hash - Haskell murmur-hash library
• ghc-murmur-hash-devel - Haskell murmur-hash library development files
• ghc-uri-encode - Haskell uri-encode library
• ghc-uri-encode-devel - Haskell uri-encode library development files
• Agda-common - Agda common files
• ghc-Agda-doc - Haskell Agda library documentation
• ghc-Agda-prof - Haskell Agda profiling library
• ghc-geniplate-mirror-doc - Haskell geniplate-mirror library documentation
• ghc-geniplate-mirror-prof - Haskell geniplate-mirror profiling library
• ghc-murmur-hash-doc - Haskell murmur-hash library documentation
• ghc-murmur-hash-prof - Haskell murmur-hash 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-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