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-Agda-doc - Haskell Agda library documentation
• ghc-Agda-prof - Haskell Agda profiling library
• ghc-geniplate-mirror - Haskell geniplate-mirror library
• ghc-geniplate-mirror-devel - Haskell geniplate-mirror library development files
• ghc-geniplate-mirror-doc - Haskell geniplate-mirror library documentation
• ghc-geniplate-mirror-prof - Haskell geniplate-mirror 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
• Agda-common - Agda common files
• emacs-agda - Emacs mode for the Agda language
• emacs-agda-el - Elisp source files for Agda emacs mode