Skip to content

Bump versions to agda 2.8.0 and stdlib 2.3#3

Merged
andreasabel merged 7 commits into
masterfrom
ci-bump-agda
Apr 24, 2026
Merged

Bump versions to agda 2.8.0 and stdlib 2.3#3
andreasabel merged 7 commits into
masterfrom
ci-bump-agda

added flake.lock to .gitignore

13ce327
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar