Skip to content

update to agda 2.8.0

23d5054
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Update to agda 2.8.0 #32

update to agda 2.8.0
23d5054
Select commit
Loading
Failed to load commit list.
nix-build
succeeded Nov 27, 2025 in 1m 31s