@hackage agda2train0.0.3.0

Agda backend to generate training data for machine learning purposes.

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).