@hackage agda-unused dependencies

20 results

library:agda-unused (7 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause>=1.2.4 && <2.1

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.2.2 && <2.4

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause>=1.4.2 && <1.5

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause>=1.3.6 && <1.4

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.6.2 && <0.7

@haskell/base

Basic libraries

BSD-3-Clause>=4.13 && <4.18

@hackage/Agda

A dependently typed functional programming language and proof assistant

MIT>=2.6.2 && <2.6.3

executable:agda-unused (7 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause>=1.2.4 && <2.1

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.2.2 && <2.4

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause>=1.3.6 && <1.4

@haskell/base

Basic libraries

BSD-3-Clause>=4.13 && <4.18

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

BSD-3-Clause>=0.15.1 && <0.18

@hackage/agda-unused

Check for unused code in an Agda project.

MIT

@hackage/aeson

Fast JSON parsing and encoding

BSD-3-Clause>=2 && <2.2

test:test (6 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause>=1.2.4 && <2.1

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause>=1.4.2 && <1.5

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.6.2 && <0.7

@haskell/base

Basic libraries

BSD-3-Clause>=4.13 && <4.18

@hackage/hspec

A Testing Framework for Haskell

MIT>=2.7.1 && <2.9

@hackage/agda-unused

Check for unused code in an Agda project.

MIT