agda2train
Version 0.0.3.0 revision 0 uploaded by omelkonian.
Package meta
- Synopsis
- Agda backend to generate training data for machine learning purposes.
- Description
Compiles Agda modules to JSON files, containing information about the imported scope of each module, its definitions and information about each sub-term appearing in the code (i.e. context, goal type, term).
- Author
- Orestis Melkonian
- Bug reports
- https://github.com/omelkonian/agda2train/issues
- Category
- Agda, machine learning
- Copyright
- (c) 2023 Orestis Melkonian
- Homepage
- https://github.com/omelkonian/agda2train/
- Maintainer
- melkon.or@gmail.com
- Package URL
- n/a
- Stability
- experimental