Source Package: agda (2.8.0-2)
Links for agda
Debian Resources:
Maintainer:
External Resources:
The following binary packages are built from this source package:
- agda
- 종속 타입 함수형 프로그래밍 언어
- agda-bin
- Agda 명령행 인터페이스
- elpa-agda2-mode
- dependently typed functional programming language — emacs mode
- libghc-agda-dev
- dependently typed functional programming language
- libghc-agda-doc
- dependently typed functional programming language; documentation
Other Packages Related to agda
-
- adep:
alex
- lexical analyser generator for Haskell
-
- adep:
dh-sequence-haskell
- virtual package provided by
dh-haskell
-
- adep:
cpphs
(>= 1.20.2)
- Simplified cpp-a-like preprocessor for Haskell
-
- adep:
debhelper-compat
(= 13)
- Package not available
-
- adep:
dh-elpa
(>= 2.1.5)
- Debian helper tools for packaging emacs lisp extensions
-
- adep:
ghc
(>= 9.4)
- Glasgow Haskell Compilation 시스템
-
- adep:
happy
- Parser generator for Haskell
-
- adep:
haskell-devscripts
(>= 0.13)
- Debian tools to build Haskell packages (with hscolour)
-
- adep:
ghc-prof
- Profiling libraries for the Glasgow Haskell Compilation system
-
- adep:
libghc-stmonadtrans-dev
(>= 0.4.5)
- monad transformer version of the ST monad
-
- adep:
libghc-stmonadtrans-dev
(<< 0.5)
- monad transformer version of the ST monad
-
- adep:
libghc-stmonadtrans-prof
- monad transformer version of the ST monad; profiling libraries
-
- adep:
libghc-aeson-dev
(>= 1.4.7.1)
- Fast JSON parsing and encoding library
-
- adep:
libghc-aeson-dev
(<< 2.3)
- Fast JSON parsing and encoding library
-
- adep:
libghc-aeson-prof
- Fast JSON parsing and encoding library; profiling libraries
-
- adep:
libghc-ansi-terminal-dev
(>= 0.10.3)
- Simple ANSI terminal support, with Windows compatibility
-
- adep:
libghc-ansi-terminal-dev
(<< 1.2)
- Simple ANSI terminal support, with Windows compatibility
-
- adep:
libghc-ansi-terminal-prof
- Simple ANSI terminal support, with Windows compatibility; profiling libraries
-
- adep:
libghc-async-dev
(>= 2.2.2)
- run IO operations asynchronously and wait for their results
-
- adep:
libghc-async-dev
(<< 2.3)
- run IO operations asynchronously and wait for their results
-
- adep:
libghc-async-prof
- run IO operations asynchronously and wait for their results; profiling libs
-
- adep:
libghc-blaze-html-dev
(>= 0.9.1.2)
- HTML combinator library for Haskell
-
- adep:
libghc-blaze-html-dev
(<< 0.10)
- HTML combinator library for Haskell
-
- adep:
libghc-blaze-html-prof
- HTML combinator library for Haskell; profiling libraries
-
- adep:
libghc-boxes-dev
(>= 0.1.5)
- 2D text pretty-printing library
-
- adep:
libghc-boxes-dev
(<< 0.2)
- 2D text pretty-printing library
-
- adep:
libghc-boxes-prof
- 2D text pretty-printing library; profiling libraries
-
- adep:
libghc-case-insensitive-dev
(>= 1.2.1.0)
- case-insensitive string comparison
-
- adep:
libghc-case-insensitive-dev
(<< 1.3)
- case-insensitive string comparison
-
- adep:
libghc-case-insensitive-prof
- case-insensitive string comparison; profiling libraries
-
- adep:
libghc-data-hash-dev
(>= 0.2.0.1)
- combinators for building fast hashing functions.
-
- adep:
libghc-data-hash-dev
(<< 0.3)
- combinators for building fast hashing functions.
-
- adep:
libghc-data-hash-prof
- combinators for building fast hashing functions.; profiling libraries
-
- adep:
libghc-dlist-dev
(>= 0.8.0.8)
- Haskell library for Differences lists
-
- adep:
libghc-dlist-dev
(<< 1.1)
- Haskell library for Differences lists
-
- adep:
libghc-dlist-prof
- Haskell library for Differences lists; profiling libraries
-
- adep:
libghc-edit-distance-dev
(>= 0.2.2.1)
- Haskell fuzzy matching
-
- adep:
libghc-edit-distance-dev
(<< 0.3)
- Haskell fuzzy matching
-
- adep:
libghc-edit-distance-prof
- Haskell fuzzy matching; profiling libraries
-
- adep:
libghc-enummapset-dev
(>= 0.6.0.3)
- IntMap and IntSet with Enum keys/elements
-
- adep:
libghc-enummapset-dev
(<< 0.8)
- IntMap and IntSet with Enum keys/elements
-
- adep:
libghc-enummapset-prof
- IntMap and IntSet with Enum keys/elements; profiling libraries
-
- adep:
libghc-equivalence-dev
(>= 0.3.5)
- maintaining an equivalence relation
-
- adep:
libghc-equivalence-dev
(<< 0.5)
- maintaining an equivalence relation
-
- adep:
libghc-equivalence-prof
- maintaining an equivalence relation; profiling libraries
-
- adep:
libghc-filelock-dev
(>= 0.1.1.5)
- portable interface to file locking (flock / LockFileEx)
-
- adep:
libghc-filelock-dev
(<< 0.2)
- portable interface to file locking (flock / LockFileEx)
-
- adep:
libghc-filelock-prof
- portable interface to file locking (flock / LockFileEx); profiling libraries
-
- adep:
libghc-filemanip-dev
(>= 0.3.6.3)
- expressive file and directory manipulation for Haskell
-
- adep:
libghc-filemanip-dev
(<< 0.4)
- expressive file and directory manipulation for Haskell
-
- adep:
libghc-filemanip-prof
- expressive file and directory manipulation for Haskell; profiling libraries
-
- adep:
libghc-generic-data-dev
(>= 0.9.2.0)
- deriving instances with GHC.Generics and related utils
-
- adep:
libghc-generic-data-dev
(<< 1.2)
- deriving instances with GHC.Generics and related utils
-
- adep:
libghc-generic-data-prof
- deriving instances with GHC.Generics and related utils; profiling libraries
-
- adep:
libghc-gitrev-dev
(>= 1.3.1)
- compile git revision info into Haskell projects
-
- adep:
libghc-gitrev-dev
(<< 2)
- compile git revision info into Haskell projects
-
- adep:
libghc-gitrev-prof
- compile git revision info into Haskell projects; profiling libraries
-
- adep:
libghc-hashable-dev
(>= 1.3.0.0)
- class for types that can be converted to a hash value
-
- adep:
libghc-hashable-dev
(<< 1.6)
- class for types that can be converted to a hash value
-
- adep:
libghc-hashable-prof
- class for types that can be converted to a hash value; profiling libraries
-
- adep:
libghc-monad-control-dev
(>= 1.0.2.3)
- Monad transformers to lift control operations
-
- adep:
libghc-monad-control-dev
(<< 1.1)
- Monad transformers to lift control operations
-
- adep:
libghc-monad-control-prof
- Monad transformers to lift control operations; profiling libraries
-
- adep:
libghc-murmur-hash-dev
(>= 0.1.0.9)
- MurmurHash2 implementation for Haskell.
-
- adep:
libghc-murmur-hash-dev
(<< 0.2)
- MurmurHash2 implementation for Haskell.
-
- adep:
libghc-murmur-hash-prof
- MurmurHash2 implementation for Haskell.; profiling libraries
-
- adep:
libghc-nonempty-containers-dev
(>= 0.3.4.1)
- Non-empty variants of containers data types, with full API
-
- adep:
libghc-nonempty-containers-dev
(<< 0.4)
- Non-empty variants of containers data types, with full API
-
- adep:
libghc-nonempty-containers-prof
- Non-empty variants of containers data types, with full API; profiling libraries
-
- adep:
libghc-parallel-dev
(>= 3.2.2.0)
- Haskell parallel programming library for GHC
-
- adep:
libghc-parallel-dev
(<< 3.3)
- Haskell parallel programming library for GHC
-
- adep:
libghc-parallel-prof
- Haskell parallel programming library for GHC; profiling libraries
-
- adep:
libghc-peano-dev
(>= 0.1.0.1)
- lazy unary natural numbers
-
- adep:
libghc-peano-dev
(<< 0.2)
- lazy unary natural numbers
-
- adep:
libghc-peano-prof
- lazy unary natural numbers; profiling libraries
-
- adep:
libghc-pqueue-dev
(>= 1.4.1.3)
- reliable, persistent, fast priority queues.
-
- adep:
libghc-pqueue-dev
(<< 1.6)
- reliable, persistent, fast priority queues.
-
- adep:
libghc-pqueue-prof
- reliable, persistent, fast priority queues.; profiling libraries
-
- adep:
libghc-process-extras-dev
(>= 0.7.4)
- Extra functionality for the Process library
-
- adep:
libghc-process-extras-dev
(<< 0.8)
- Extra functionality for the Process library
-
- adep:
libghc-process-extras-prof
- Extra functionality for the Process library; profiling libraries
-
- adep:
libghc-regex-tdfa-dev
(>= 1.3.1.0)
- Haskell library for a tagged DFA regex engine
-
- adep:
libghc-regex-tdfa-dev
(<< 1.4)
- Haskell library for a tagged DFA regex engine
-
- adep:
libghc-regex-tdfa-prof
- Haskell library for a tagged DFA regex engine; profiling libraries
-
- adep:
libghc-split-dev
(>= 0.2.3.4)
- Haskell library for splitting lists
-
- adep:
libghc-split-dev
(<< 0.3)
- Haskell library for splitting lists
-
- adep:
libghc-split-prof
- Haskell library for splitting lists; profiling libraries
-
- adep:
libghc-strict-dev
(>= 0.4.0.1)
- Strict variants of standard Haskell datatypes
-
- adep:
libghc-strict-dev
(<< 0.6)
- Strict variants of standard Haskell datatypes
-
- adep:
libghc-strict-prof
- Strict variants of standard Haskell datatypes; profiling libraries
-
- adep:
libghc-unordered-containers-dev
(>= 0.2.10.0)
- Efficient hashing-based container types
-
- adep:
libghc-unordered-containers-dev
(<< 0.3)
- Efficient hashing-based container types
-
- adep:
libghc-unordered-containers-prof
- Efficient hashing-based container types; profiling libraries
-
- adep:
libghc-uri-encode-dev
(>= 1.5.0.7)
- Unicode aware uri-encoding.
-
- adep:
libghc-uri-encode-dev
(<< 1.6)
- Unicode aware uri-encoding.
-
- adep:
libghc-uri-encode-prof
- Unicode aware uri-encoding.; profiling libraries
-
- adep:
libghc-vector-dev
(>= 0.12.1.2)
- Efficient Arrays for Haskell
-
- adep:
libghc-vector-dev
(<< 0.14)
- Efficient Arrays for Haskell
-
- adep:
libghc-vector-prof
- Efficient Arrays for Haskell; profiling libraries
-
- adep:
libghc-vector-hashtables-dev
(>= 0.1.1.1)
- efficient vector-based mutable hashtables implementation
-
- adep:
libghc-vector-hashtables-dev
(<< 0.2)
- efficient vector-based mutable hashtables implementation
-
- adep:
libghc-vector-hashtables-prof
- efficient vector-based mutable hashtables implementation; profiling libraries
-
- adep:
libghc-zlib-dev
(>= 0.6.2.2)
- compression and decompression in the gzip and zlib formats
-
- adep:
libghc-zlib-dev
(<< 0.8)
- compression and decompression in the gzip and zlib formats
-
- adep:
libghc-zlib-prof
- compression and decompression in the gzip and zlib formats; profiling libraries
