GitHub repository: wenkokke/agda-python
Primary language: Python
Description: A project that packages Agda as a Python package.