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

This is a work in progress.

## Relevant Agda issues

- [Type-on-hover #516](https://github.com/agda/agda/issues/516)
- [Step-by-step evaluation #4747](https://github.com/agda/agda/issues/4747)
- [Reverting projection-like optimization #5142](https://github.com/agda/agda/pull/5142/)