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...