Include test and benchmark dependencies

Licenses for agda-language-server

Return to license list

License Packages
BSD-2-Clause
  • constraints
  • indexed-traversable
  • indexed-traversable-instances
  • invariant
  • lens
  • semigroupoids
  • text
  • time
BSD-3-Clause
  • Cabal
  • Diff
  • STMonadTrans
  • StateVar
  • Win32
  • adjunctions
  • aeson
  • array
  • assoc
  • async
  • attoparsec
  • base
  • base64-bytestring
  • basement
  • bifunctors
  • binary
  • blaze-builder
  • blaze-html
  • blaze-markup
  • boxes
  • bytestring
  • bytestring-builder
  • case-insensitive
  • cereal
  • comonad
  • constraints-extras
  • containers
  • contravariant
  • cryptohash-md5
  • cryptohash-sha1
  • data-default
  • data-default-class
  • data-default-instances-containers
  • data-default-instances-dlist
  • data-default-instances-old-locale
  • data-fix
  • data-hash
  • deepseq
  • directory
  • distributive
  • dlist
  • edit-distance
  • entropy
  • equivalence
  • exceptions
  • fail
  • filepath
  • free
  • generic-deriving
  • ghc-bignum
  • ghc-boot-th
  • ghc-byteorder
  • ghc-compact
  • ghc-prim
  • gitrev
  • hashable
  • hashtables
  • haskeline
  • hslogger
  • integer-gmp
  • kan-extensions
  • monad-control
  • mtl
  • murmur-hash
  • nats
  • network
  • network-bsd
  • network-info
  • network-simple
  • network-uri
  • old-locale
  • parallel
  • parsec
  • pretty
  • primitive
  • process
  • profunctors
  • random
  • reflection
  • regex-base
  • regex-tdfa
  • rope-utf16-splay
  • scientific
  • semialign
  • semigroups
  • socks
  • some
  • sorted-list
  • split
  • splitmix
  • stm
  • strict
  • syb
  • tagged
  • template-haskell
  • temporary
  • these
  • time-compat
  • transformers
  • transformers-base
  • transformers-compat
  • type-equality
  • unordered-containers
  • uri-encode
  • utf8-string
  • uuid
  • uuid-types
  • vector
  • void
  • witherable
  • zlib
ISC
  • th-abstraction
LicenseRef-OtherLicense
  • Agda
  • dependent-map
LicenseRef-PublicDomain
  • dependent-sum
  • dependent-sum-template
  • th-extras
MIT
  • agda-language-server
  • base-compat
  • base-compat-batteries
  • base-orphans
  • call-stack
  • ghcjs-base
  • ghcjs-dom
  • ghcjs-dom-jsffi
  • integer-logarithms
  • jsaddle
  • lsp
  • lsp-types
  • safe-exceptions
  • unliftio
  • unliftio-core