Skip to content

Update to agda 2.8.0 #69

Update to agda 2.8.0

Update to agda 2.8.0 #69

nix-build

succeeded Nov 27, 2025 in 1m 31s