Release for #96 - #97

Merged

pmbittner merged 19 commits into

mainfrom

Oct 29, 2025

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 on Oct 28, 2025

Merge pull request #96 from VariantSync/deps-update
ibbem
authored
842f2d7