@hackage agda2train dependencies

@hackage/base

Core data structures and operations

@hackage/file-embed

Use Template Haskell to embed file contents directly.

@hackage/mtl

Monad classes for transformers, using functional dependencies

@hackage/aeson

Fast JSON parsing and encoding

@hackage/containers

Assorted concrete container types

@hackage/async

Run IO operations asynchronously and wait for their results

@hackage/Agda

A dependently typed functional programming language and proof assistant

@hackage/pretty

Pretty-printing library

@hackage/deepseq

Deep evaluation of data structures

@hackage/base

Core data structures and operations

@hackage/filepath

Library for manipulating FilePaths in a cross platform way.

@hackage/file-embed

Use Template Haskell to embed file contents directly.

@hackage/mtl

Monad classes for transformers, using functional dependencies

@hackage/aeson

Fast JSON parsing and encoding

@hackage/containers

Assorted concrete container types

@hackage/unordered-containers

Efficient hashing-based container types

@hackage/async

Run IO operations asynchronously and wait for their results

@hackage/aeson-pretty

JSON pretty-printing library and command-line tool.

@hackage/Agda

A dependently typed functional programming language and proof assistant

@hackage/bytestring

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

@hackage/directory

Platform-agnostic library for filesystem operations

@hackage/agda2train

agda2train-lib

Agda backend to generate training data for machine learning purposes.

@hackage/pretty

Pretty-printing library