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