@hackage agda2lagda dependencies

6 results

executable:agda2lagda (4 dependencies)

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/base

Basic libraries

BSD-3-Clause>=4.9 && <5

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

BSD-3-Clause>=0.13

test:test (2 dependencies)

@haskell/process

Process libraries

@haskell/base

Basic libraries

BSD-3-Clause>=4.11