@hackage agda2train dependencies

23 results

library:agda2train-lib (8 dependencies)

@haskell/mtl

Monad classes for transformers, using functional dependencies

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

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.5.11.0 && <0.8

@haskell/base

Basic libraries

BSD-3-Clause>=4.12.0.0 && <4.20

@hackage/pretty

Pretty-printing library

BSD-3-Clause>=1.1.3.3 && <1.2

@hackage/file-embed

Use Template Haskell to embed file contents directly.

BSD-2-Clause==0.0.15.0

@hackage/async

Run IO operations asynchronously and wait for their results

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

@hackage/aeson

Fast JSON parsing and encoding

BSD-3-Clause>=2.0 && <2.3

@hackage/Agda

A dependently typed functional programming language and proof assistant

MIT>=2.6.3 && <2.6.4

executable:agda2train (15 dependencies)

@haskell/mtl

Monad classes for transformers, using functional dependencies

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

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

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

@haskell/directory

Platform-agnostic library for filesystem operations

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

@haskell/deepseq

Deep evaluation of data structures

BSD-3-Clause>=1.4.2.0 && <1.6

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.5.11.0 && <0.8

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

BSD-3-Clause>=0.10.8.1 && <0.13

@haskell/base

Basic libraries

BSD-3-Clause>=4.12.0.0 && <4.20

@hackage/unordered-containers

Efficient hashing-based container types

BSD-3-Clause>=0.2.9.0 && <0.3

@hackage/pretty

Pretty-printing library

BSD-3-Clause>=1.1.3.3 && <1.2

@hackage/file-embed

Use Template Haskell to embed file contents directly.

BSD-2-Clause==0.0.15.0

@hackage/async

Run IO operations asynchronously and wait for their results

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

@hackage/agda2train

agda2train-lib

Agda backend to generate training data for machine learning purposes.

BSD-3-Clause

@hackage/aeson-pretty