Licenses for agda-language-server

Return to license list

License	Packages
BSD-2-Clause	adjunctions constraints file-embed indexed-traversable indexed-traversable-instances invariant lens parsec prettyprinter prettyprinter-ansi-terminal semigroupoids text time
BSD-3-Clause	Cabal Cabal-syntax Diff OneTuple QuickCheck STMonadTrans StateVar Win32 aeson ansi-terminal ansi-terminal-types array assoc async attoparsec base basement bifunctors binary blaze-builder blaze-html blaze-markup boring boxes bytestring bytestring-builder case-insensitive cereal character-ps clock comonad containers contravariant data-array-byte data-default data-fix data-hash deepseq directory distributive dlist edit-distance equivalence exceptions extra fail file-io filepath free generic-deriving generic-lens generic-lens-core generically ghc-bignum ghc-boot-th ghc-compact ghc-internal ghc-prim gitrev hashable haskeline indexed-profunctors integer-conversion kan-extensions monad-control mtl murmur-hash nats network network-bsd network-simple network-uri old-locale old-time optparse-applicative os-string parallel peano pqueue pretty primitive process profunctors quickcheck-instances random reflection regex regex-base regex-pcre-builtin regex-tdfa safe scientific semialign semigroups semirings socks some split splitmix stm strict tagged template-haskell temporary text-iso8601 text-rope text-short these time-compat time-locale-compat transformers transformers-base transformers-compat unordered-containers uri-encode utf8-string uuid-types vector vector-hashtables vector-stream void witherable zlib
ISC	th-abstraction
MIT	Agda agda-language-server base-compat base-orphans call-stack colour generic-arbitrary integer-logarithms lens-aeson lsp lsp-types mod row-types safe-exceptions sorted-list tasty unliftio unliftio-core
MPL-2.0	co-log-core
Zlib	zlib-clib