1 Pull request opened by 1 person

• [ refactor ] cosmetic improvement to `Algebra.Construct.Initial`

  #2759 opened Jul 7, 2025

2 Issues closed by 1 person

• [ deprecate ] `Data.Fin.Permutation.Components`

  #2752 closed Jul 7, 2025

• Problem with `DISPLAY` pragma for `⊥` in `Data.Empty`

  #2493 closed Jul 7, 2025

5 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• [Add] Consequences of identity for `monoids`

  #2692 commented on Jul 7, 2025 • 5 new comments

• `∸-suc` lemma for natural numbers

  #2757 commented on Jul 7, 2025 • 5 new comments

• Release of v2.3

  #2749 commented on Jul 7, 2025 • 0 new comments

• Add `Algebra.Action.*` and friends

  #2350 commented on Jul 7, 2025 • 0 new comments

• [ add ] Choudhury and Fiore's alternative definition of `Permutation` for `Setoid`s

  #2726 commented on Jul 7, 2025 • 0 new comments