Agda v2.8.0 released

Release v2.8.0 · agda/agda

Release notes for Agda version 2.8.0 Highlights Agda is now a self-contained single binary. Build all Agda files reachable from paths in the .agda-lib file with new flag --build-library. Expe......