Changelog for agda2lagda-0.2023.1.12

Revision history for agda2lagda

0.2023.1.12

0.2021.6.1

0.2020.11.1