The latest version of agda2train is 0.0.3.0-0.
agda2train
Version 0.0.1.0 revision 0 uploaded by omelkonian.
Package meta
- Synopsis
- Agda backend to generate training data for machine learning purposes.
- Description
- Author
- Orestis Melkonian
- Bug reports
- https://github.com/omelkonian/agda2train/issues
- Category
- Agda, machine learning
- Copyright
- (c) 2023 Orestis Melkonian
- Homepage
- http://github.com/omelkonian/agda2train/
- Maintainer
- melkon.or@gmail.com
- Package URL
- n/a
- Stability
- experimental