formal-ledger-specifications icon indicating copy to clipboard operation
formal-ledger-specifications copied to clipboard

Published 20 hours ago • verified publisher icon IntersectMBO

[FUTURE] Downstream agda-stdlib changes (related to lemmas about lists)

Open omelkonian opened this issue 5 months ago • 0 comments

When https://github.com/agda/agda-stdlib/pull/2479 is merged, which port stdlib additions from this repo, the task is to update the stdlib dependency and remove all these lemmas/definitions about lists:

  • Data/List/Ext.agda
  • Data/List/Ext/Properties.agda
  • Data/List/Relation/Binary/Sublist/Ext.agda
  • Data/List/Relation/Unary/Unique/Propositional/Properties/WithK.agda

omelkonian avatar Sep 10 '24 11:09 omelkonian