1 Pull request merged by 1 person

• Add sum-↭ to Data.List.Relation.Binary.Permutation.Propositional.Properties

  #2498 merged Nov 14, 2024

2 Pull requests opened by 1 person

• Mess around with IsSemiringWithoutOne reexports

  #2499 opened Nov 13, 2024

• Add filter-≐

  #2501 opened Nov 18, 2024

1 Issue opened by 1 person

• Update installation instructions wrt install dir?

  #2500 opened Nov 16, 2024