Issues · agda/agda-stdlib

Labels Milestones New issue

[DRY?] Direct definition vs. generic combinators, ctd. in `Algebra.Definitions.RawMonoid`

#2475

· jamesmckinna opened

on Sep 5, 2024

6

Linear-time implementation of `Data.Nat.Properties.≤′⇒≤`?

#2442

· jamesmckinna opened

on Jul 26, 2024

3

Data.List.upTo/applyUpTo can be made faster

#2437

· Taneb opened

on Jul 11, 2024

4

Improvements for `Text.Pretty`

low-hanging-fruit

#1748

· gallais opened

on Apr 5, 2022

Add performance tests

#1439

· MatthewDaggitt opened

on Feb 25, 2021

Profile the library and eliminate hotspots

#1105

· MatthewDaggitt opened

on Mar 8, 2020

Replace `Tactic.RingSolver.Core.NatSet` with `Data.Tree.AVL`

#1068

· MatthewDaggitt opened

on Jan 25, 2020