@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
Installation
Dependencies (0)
- Agda >=2.6.3 && <2.6.4
- aeson >=2.0 && <2.3
- aeson-pretty ==0.8.10
- async >=2.2 && <2.3
- base >=4.12.0.0 && <4.20
- bytestring >=0.10.8.1 && <0.13 Show all…
Dependents (0)
agda2train: An Agda backend to generate training data for machine learning
This is a work in progress.