@hackage / agda2train

Agda backend to generate training data for machine learning purposes.

Latest0.0.3.0

Dependencies

library:agda2train-lib (8 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.12.0.0 && <4.20
- License: BSD-3-Clause
@hackage / file-embed Use Template Haskell to embed file contents directly.
- Version: ==0.0.15.0
- License: BSD-2-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2.1 && <2.4
- License: BSD-3-Clause
@hackage / aeson Fast JSON parsing and encoding
- Version: >=2.0 && <2.3
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5.11.0 && <0.8
- License: BSD-3-Clause
@hackage / async Run IO operations asynchronously and wait for their results
- Version: >=2.2 && <2.3
- License: BSD-3-Clause
@hackage / Agda A dependently typed functional programming language and proof assistant
- Version: >=2.6.3 && <2.6.4
- License: MIT
@hackage / pretty Pretty-printing library
- Version: >=1.1.3.3 && <1.2
- License: BSD-3-Clause

executable:agda2train (15 dependencies)