@hackage agda2train0.0.1.0

Agda backend to generate training data for machine learning purposes.

Categories
License
BSD-3-Clause
Maintainer
melkon.or@gmail.com
Links
Versions
- 0.0.3.0 Tue, 17 Oct 2023
- 0.0.2.0 Tue, 17 Oct 2023
- 0.0.1.0 Tue, 17 Oct 2023

agda2train: An Agda backend to generate training data for machine learning

This is a work in progress.

Relevant Agda issues

Installation
In your cabal file:
Dependencies (0)
- base >=4.12.0.0 && <4.20
- bytestring >=0.10.8.1 && <0.13
- containers >=0.5.11.0 && <0.8
- deepseq >=1.4.2.0 && <1.6
- directory >=1.2.6.2 && <1.4
- filepath >=1.4.1.0 && <1.5
Dependents (0)