# Revision history for agda2lagda

## 0.2020.9.30

* First version. Released on an unsuspecting world.