Include test and benchmark dependencies

Licenses for agda2lagda

Return to license list

License Packages
BSD-3-Clause
  • Win32
  • ansi-terminal
  • ansi-wl-pprint
  • array
  • base
  • containers
  • deepseq
  • directory
  • filepath
  • generic-deriving
  • ghc-boot-th
  • ghc-prim
  • mintty
  • optparse-applicative
  • pretty
  • process
  • template-haskell
  • time
  • transformers
  • transformers-compat
ISC
  • th-abstraction
LicenseRef-PublicDomain
  • agda2lagda
MIT
  • colour