Search results

[DRY?] Direct definition vs. generic combinators, ctd. in <code>Algebra.Definitions.RawMonoid</code>

addition

performance

question

refactoring

Status: Open.

#2475 In agda/agda-stdlib;

· jamesmckinna opened on Sep 5, 2024

Linear-time implementation of <code>Data.Nat.Properties.≤′⇒≤</code>?

addition

discussion

library-design

performance

refactoring

Status: Open.

#2442 In agda/agda-stdlib;

· jamesmckinna opened on Jul 26, 2024

Data.List.upTo/applyUpTo can be made faster

performance

refactoring

Status: Open.

#2437 In agda/agda-stdlib;

· Taneb opened on Jul 11, 2024

Improvements for <code>Text.Pretty</code>

low-hanging-fruit

performance

task

Status: Open.

#1748 In agda/agda-stdlib;

· gallais opened on Apr 5, 2022

Add performance tests

performance

test

Status: Open.

#1439 In agda/agda-stdlib;

· MatthewDaggitt opened on Feb 25, 2021

Profile the library and eliminate hotspots

performance

task

Status: Open.

#1105 In agda/agda-stdlib;

· MatthewDaggitt opened on Mar 8, 2020

Replace <code>Tactic.RingSolver.Core.NatSet</code> with <code>Data.Tree.AVL</code>

performance

refactoring

Status: Open.

#1068 In agda/agda-stdlib;

· MatthewDaggitt opened on Jan 25, 2020