Licenses for agda-language-server

Return to license list

License	Packages
BSD-2-Clause	constraints file-embed indexed-traversable indexed-traversable-instances invariant lens parsec prettyprinter semigroupoids text time
BSD-3-Clause	Cabal Cabal-syntax Diff OneTuple QuickCheck 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 containers contravariant cryptohash-md5 cryptohash-sha1 data-array-byte 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 generic-lens generic-lens-core generically ghc-bignum ghc-boot-th ghc-compact ghc-prim gitrev hashable haskeline indexed-profunctors integer-conversion integer-gmp kan-extensions monad-control mtl murmur-hash nats network network-bsd network-info network-simple network-uri old-locale old-time parallel pretty primitive process profunctors random reflection regex regex-base regex-pcre-builtin regex-tdfa safe scientific semialign semigroups semirings socks some sorted-list 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 type-equality unordered-containers uri-encode utf8-string uuid uuid-types vector vector-hashtables vector-stream void witherable zlib
ISC	th-abstraction
LicenseRef-OtherLicense	Agda
MIT	agda-language-server base-compat base-compat-batteries base-orphans call-stack ghcjs-base ghcjs-dom ghcjs-dom-jsffi integer-logarithms jsaddle lens-aeson lsp lsp-types mod row-types safe-exceptions unliftio-core
MPL-2.0	co-log-core