Include test and benchmark dependencies

Licenses for agda-snippets

Return to license list

License Packages
BSD-2-Clause
  • indexed-traversable
  • indexed-traversable-instances
  • parsec
  • semigroupoids
  • text
  • time
BSD-3-Clause
  • Cabal
  • Cabal-syntax
  • OneTuple
  • QuickCheck
  • STMonadTrans
  • StateVar
  • Win32
  • aeson
  • agda-snippets
  • ansi-terminal
  • ansi-terminal-types
  • array
  • assoc
  • async
  • base
  • bifunctors
  • binary
  • blaze-builder
  • blaze-html
  • blaze-markup
  • boxes
  • bytestring
  • bytestring-builder
  • case-insensitive
  • comonad
  • containers
  • contravariant
  • data-array-byte
  • data-fix
  • data-hash
  • deepseq
  • directory
  • distributive
  • dlist
  • edit-distance
  • equivalence
  • exceptions
  • fail
  • filepath
  • generic-deriving
  • generically
  • ghc-bignum
  • ghc-boot-th
  • ghc-compact
  • ghc-prim
  • gitrev
  • hashable
  • haskeline
  • integer-conversion
  • monad-control
  • mtl
  • murmur-hash
  • nats
  • network-uri
  • old-locale
  • old-time
  • os-string
  • parallel
  • peano
  • pretty
  • primitive
  • process
  • random
  • regex-base
  • regex-tdfa
  • scientific
  • semialign
  • semigroups
  • split
  • splitmix
  • stm
  • strict
  • tagged
  • template-haskell
  • text-iso8601
  • text-short
  • these
  • time-compat
  • transformers
  • transformers-base
  • transformers-compat
  • unordered-containers
  • uri-encode
  • utf8-string
  • uuid-types
  • vector
  • vector-hashtables
  • vector-stream
  • witherable
  • xhtml
  • zlib
ISC
  • th-abstraction
MIT
  • Agda
  • base-compat
  • base-orphans
  • colour
  • integer-logarithms