[M1-1] Upgrade to Agda 2.8.0+stdlib 2.3; --without-K -> --cubical-compatible#278

williamdemeo merged 12 commits into

masterualib/agda-algebras:masterfrom

250-m1-1-upgrade-agda-and-stdlib-versionsualib/agda-algebras:250-m1-1-upgrade-agda-and-stdlib-versionsCopy head branch name to clipboard