Revision history for agda2lagda

0.2020.9.30

• First version. Released on an unsuspecting world.