Skip to content

Agda: add release notes#95894

Merged
roberth merged 1 commit intoNixOS:masterfrom alexarice:agda-release-notesSep 1, 2020

Commits

Commits on Aug 23, 2020