Update Agda and agda-stdlib #90

Activity

1. pmbittner commented on Jul 10, 2025

   

   pmbittner

   on Jul 10, 2025

   Member

   More actions

   The new version should include the PRs we merged with our utilities:

   • [ add ] ∸-suc lemma for natural numbers agda/agda-stdlib#2757
   • Lemmata for if_then_else_ agda/agda-stdlib#2747
   • Some lemmata for lists and non-empty lists agda/agda-stdlib#2730

   We then should update our AuxProofs.agda file: Remove all lemmata that are part of the standard library and use the standard library lemmata throughout our code base.
2. pmbittner

   linked a pull request that will close this issueUpgrade to Agda 2.8 and Agda STL 2.3 #96on Oct 14, 2025
3. ibbem commented on Oct 28, 2025

   

   ibbem

   on Oct 28, 2025

   CollaboratorAuthor

   More actions

   Fixed by #96.
4. ibbem

   closed this as completedon Oct 28, 2025