@hackage / Agda

Dependencies

library:Agda (54 dependencies)

• @hackage / base Core data structures and operations
  • Version: >=4.13.0.0 && <4.22
  • License: BSD-3-Clause
• @hackage / filepath Library for manipulating FilePaths in a cross platform way.
  • Version: >=1.4.2.1 && <1.6
  • License: BSD-3-Clause
• @hackage / gitrev Compile git revision info into Haskell projects
  • Version: >=1.3.1 && <2
  • License: BSD-3-Clause
• @hackage / ansi-terminal Simple ANSI terminal support
  • Version: >=0.10.3 && <1.2
  • License: BSD-3-Clause
• @hackage / filemanip Expressive file and directory manipulation for Haskell.
  • Version: >=0.3.6.3 && <0.4
  • License: BSD-3-Clause
• @hackage / array Mutable and immutable arrays
  • Version: >=0.5.4.0 && <0.6
  • License: BSD-3-Clause
• @hackage / stm Software Transactional Memory
  • Version: >=2.5.0.0 && <2.6
  • License: BSD-3-Clause
• @hackage / text-icu Bindings to the ICU library
  • Version: >=0.7.1.0 && <0.9
  • License: BSD-3-Clause
• @hackage / edit-distance Levenshtein and restricted Damerau-Levenshtein edit distances
  • Version: >=0.2.2.1 && <0.3
  • License: BSD-3-Clause
• @hackage / mtl Monad classes for transformers, using functional dependencies
  • Version: >=2.2.2 && <2.4
  • License: BSD-3-Clause
• @hackage / data-hash Combinators for building fast hashing functions.
  • Version: >=0.2.0.1 && <0.3
  • License: BSD-3-Clause
• @hackage / murmur-hash MurmurHash2 implementation for Haskell.
  • Version: >=0.1.0.9 && <0.2
  • License: BSD-3-Clause
• @hackage / hashable A class for types that can be converted to a hash value
  • Version: >=1.3.0.0 && <1.6
  • License: BSD-3-Clause
• @hackage / dlist Difference lists
  • Version: >=0.8.0.8 && <1.1
  • License: BSD-3-Clause
• @hackage / nonempty-containers Non-empty variants of containers data types, with full API
  • Version: >=0.3.4.1 && <0.4
  • License: BSD-3-Clause
• @hackage / split Combinator library for splitting lists.
  • Version: >=0.2.3.4 && <0.3
  • License: BSD-3-Clause
• @hackage / STMonadTrans A monad transformer version of the ST monad
  • Version: >=0.4.5 && <0.5
  • License: BSD-3-Clause
• @hackage / text An efficient packed Unicode text type.
  • Version: >=1.2.4.0 && <2.2
  • License: BSD-2-Clause
• @hackage / transformers Concrete functor and monad transformers
  • Version: >=0.5.6.2 && <0.7
  • License: BSD-3-Clause
• @hackage / aeson Fast JSON parsing and encoding
  • Version: >=1.4.7.1 && <2.4
  • License: BSD-3-Clause
• @hackage / case-insensitive Case insensitive string comparison
  • Version: >=1.2.1.0 && <1.3
  • License: BSD-3-Clause
• @hackage / zlib Compression and decompression in the gzip and zlib formats
  • Version: >=0.6.2.2 && <0.8
  • License: BSD-3-Clause
• @hackage / th-lift-instances Lift instances for template-haskell for common data types.
  • Version: >=0.1.18 && <0.1.21
  • License: BSD-3-Clause
• @hackage / vector Efficient Arrays
  • Version: >=0.12.1.2 && <0.14
  • License: BSD-3-Clause
• @hackage / containers Assorted concrete container types
  • Version: >=0.6.2.1 && <0.8
  • License: BSD-3-Clause
• @hackage / unordered-containers Efficient hashing-based container types
  • Version: >=0.2.10.0 && <0.3
  • License: BSD-3-Clause
• @hackage / process Process libraries
  • Version: >=1.6.9.0 && <1.7
  • License: BSD-3-Clause
• @hackage / binary Binary serialisation for Haskell values using lazy ByteStrings
  • Version: >=0.8.7.0 && <0.9
  • License: BSD-3-Clause
• @hackage / strict Strict data types and String IO.
  • Version: >=0.4.0.1 && <0.6
  • License: BSD-3-Clause
• @hackage / blaze-html A blazingly fast HTML combinator library for Haskell
  • Version: >=0.9.1.2 && <0.10
  • License: BSD-3-Clause
• @hackage / async Run IO operations asynchronously and wait for their results
  • Version: >=2.2.2 && <2.3
  • License: BSD-3-Clause
• @hackage / ghc-compact In memory storage of deeply evaluated data structure
  • Version: >=0.1 && <0.2
  • License: BSD-3-Clause
• @hackage / haskeline A command-line interface for user input, written in Haskell.
  • Version: >=0.7.5.0 && <0.9
  • License: BSD-3-Clause
• @hackage / time A time library
  • Version: >=1.9.3 && <1.15
  • License: BSD-2-Clause
• @hackage / enummapset IntMap and IntSet with Enum keys/elements.
  • Version: >=0.6.0.3 && <0.8
  • License: BSD-3-Clause
• @hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
  • Version: >=0.10.10.1 && <0.13
  • License: BSD-3-Clause
• @hackage / generic-data Deriving instances with GHC.Generics and related utilities
  • Version: >=0.9.2.0 && <1.2
  • License: MIT
• @hackage / Win32 A binding to Windows Win32 API.
  • Version: >=2.6.1.0 && <2.15
  • License: BSD-3-Clause
• @hackage / vector-hashtables Efficient vector-based mutable hashtables implementation.
  • Version: >=0.1.1.1 && <0.2
  • License: BSD-3-Clause
• @hackage / process-extras Process extras
  • Version: >=0.7.4 && <0.8
  • License: MIT
• @hackage / regex-tdfa Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)
  • Version: >=1.3.1.0 && <1.4
  • License: BSD-3-Clause
• @hackage / pretty Pretty-printing library
  • Version: >=1.1.3.6 && <1.2
  • License: BSD-3-Clause
• @hackage / filelock Portable interface to file locking (flock / LockFileEx)
  • Version: >=0.1.1.5 && <0.2
  • License: CC0-1.0
• @hackage / boxes 2D text pretty-printing library
  • Version: >=0.1.5 && <0.2
  • License: BSD-3-Clause
• @hackage / template-haskell Support library for Template Haskell
  • Version: >=2.15.0.0 && <2.24
  • License: BSD-3-Clause
• @hackage / pqueue Reliable, persistent, fast priority queues.
  • Version: >=1.4.1.3 && <1.8
  • License: BSD-3-Clause
• @hackage / deepseq Deep evaluation of data structures
  • Version: >=1.4.4.0 && <1.6
  • License: BSD-3-Clause
• @hackage / monad-control Lift control operations, like exception catching, through monad transformers
  • Version: >=1.0.2.3 && <1.1
  • License: BSD-3-Clause
• @hackage / uri-encode Unicode aware uri-encoding
  • Version: >=1.5.0.7 && <1.6
  • License: BSD-3-Clause
• @hackage / parallel Parallel programming library
  • Version: >=3.2.2.0 && <3.4
  • License: BSD-3-Clause
• @hackage / equivalence Maintaining an equivalence relation implemented as union-find using STT.
  • Version: >=0.3.5 && <0.5
  • License: BSD-3-Clause
• @hackage / peano Peano numbers
  • Version: >=0.1.0.1 && <0.2
  • License: BSD-3-Clause
• @hackage / directory Platform-agnostic library for filesystem operations
  • Version: >=1.3.6.0 && <1.4
  • License: BSD-3-Clause
• @hackage / exceptions Extensible optionally-pure exceptions
  • Version: >=0.10.4 && <0.11
  • License: BSD-3-Clause

executable:agda (2 dependencies)

• @hackage / Agda A dependently typed functional programming language and proof assistant
  • Version:
  • License: MIT
• @hackage / base Core data structures and operations
  • Version:
  • License: BSD-3-Clause

executable:agda-mode (9 dependencies)

• @hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
  • Version: >=0.10.10.1 && <0.13
  • License: BSD-3-Clause
• @hackage / directory Platform-agnostic library for filesystem operations
  • Version: >=1.3.6.0 && <1.4
  • License: BSD-3-Clause
• @hackage / base Core data structures and operations
  • Version: >=4.13.0.0 && <4.22
  • License: BSD-3-Clause
• @hackage / th-lift-instances Lift instances for template-haskell for common data types.
  • Version: >=0.1.18 && <0.1.21
  • License: BSD-3-Clause
• @hackage / filelock Portable interface to file locking (flock / LockFileEx)
  • Version: >=0.1.1.5 && <0.2
  • License: CC0-1.0
• @hackage / filepath Library for manipulating FilePaths in a cross platform way.
  • Version: >=1.4.2.1 && <1.6
  • License: BSD-3-Clause
• @hackage / template-haskell Support library for Template Haskell
  • Version: >=2.15.0.0 && <2.24
  • License: BSD-3-Clause
• @hackage / gitrev Compile git revision info into Haskell projects
  • Version: >=1.3.1 && <2
  • License: BSD-3-Clause
• @hackage / process Process libraries
  • Version: >=1.6.9.0 && <1.7
  • License: BSD-3-Clause