Upgrade to Agda 2.8 and Agda STL 2.3#96

Merged

ibbem merged 18 commits into

Oct 28, 2025

Commits on Oct 25, 2025

feat: remove the agda-stdlib submodule
ibbem
committed
feat: update Agda to 2.8.0
ibbem
committed
fix: warning in OC-to-2CC
ibbem
committed
fix: deprecation warnings

pmbittner
authored and
ibbem
committed
fix: warning in FST-to-OC

pmbittner
authored and
ibbem
committed
fix: broken proof in FST-to-OC after STL upgrade

pmbittner
authored and
ibbem
committed
reuse if-then-else lemmata merged into STL

pmbittner
authored and
ibbem
committed
remove an unused AuxProof function

pmbittner
authored and
ibbem
committed
remove resolved AuxProof todo

pmbittner
authored and
ibbem
committed
clean imports in AuxProofs.agda

pmbittner
authored and
ibbem
committed
refactor: use if-then-else lemmas where applicable

pmbittner
authored and
ibbem
committed
reuse lemmas for non-empty lists merged into STL

pmbittner
authored and
ibbem
committed
clean imports in List.agda

pmbittner
authored and
ibbem
committed
fixup: update README to removal of stl submodule

pmbittner
authored and
ibbem
committed
README: typo fix

pmbittner
authored and
ibbem
committed
docs: update the setup instructions
ibbem
committed
docs: update the expected output
ibbem
committed
docs: add an error I encountered during testing
ibbem
committed