agda-unused-0.1.0: CHANGELOG.md

# Changelog

## 0.1.0 (10/27/2020)

Initial release.