Upgrade to agda 2.8 and agda-stdlib 2.3#7698

ana-pantilie merged 3 commits intomasterIntersectMBO/plutus:masterfrom

ana/upgrade-agda-2.8.0-adga-stdlib-2.3IntersectMBO/plutus:ana/upgrade-agda-2.8.0-adga-stdlib-2.3Copy head branch name to clipboard