Repository navigation

Upgrade to Agda 2.8 and Agda STL 2.3 - #96

Merged

ibbem merged 18 commits into

developfrom

deps-update

Oct 28, 2025

Merged

Upgrade to Agda 2.8 and Agda STL 2.3#96
ibbem merged 18 commits into
developfrom
deps-update

Commits on Oct 25, 2025
- feat: remove the agda-stdlib submodule
  ibbem
  committed
  bcb7b35
- feat: update Agda to 2.8.0
  ibbem
  committed
  a23bc43
- fix: warning in OC-to-2CC
  ibbem
  committed
  efb02f2
- fix: deprecation warnings
  
  pmbittner
  authored and
  ibbem
  committed
  a6c3a90
- fix: warning in FST-to-OC
  
  pmbittner
  authored and
  ibbem
  committed
  6c69223
- fix: broken proof in FST-to-OC after STL upgrade
  
  pmbittner
  authored and
  ibbem
  committed
  c2faec6
- reuse if-then-else lemmata merged into STL
  
  pmbittner
  authored and
  ibbem
  committed
  9fe328f
- remove an unused AuxProof function
  
  pmbittner
  authored and
  ibbem
  committed
  2ecfb0f
- remove resolved AuxProof todo
  
  pmbittner
  authored and
  ibbem
  committed
  d27efec
- clean imports in AuxProofs.agda
  
  pmbittner
  authored and
  ibbem
  committed
  e28b604
- refactor: use if-then-else lemmas where applicable
  
  pmbittner
  authored and
  ibbem
  committed
  2db714f
- reuse lemmas for non-empty lists merged into STL
  
  pmbittner
  authored and
  ibbem
  committed
  f3b3032
- clean imports in List.agda
  
  pmbittner
  authored and
  ibbem
  committed
  555e974
- fixup: update README to removal of stl submodule
  
  pmbittner
  authored and
  ibbem
  committed
  0af277b
- README: typo fix
  
  pmbittner
  authored and
  ibbem
  committed
  81cf52a
- docs: update the setup instructions
  ibbem
  committed
  93f730a
- docs: update the expected output
  ibbem
  committed
  0902db0
- docs: add an error I encountered during testing
  ibbem
  committed
  b66dcea

Commits

Commits on Oct 25, 2025