Search results

[ refactor ] rectify binder names in <code>Relation.Binary.Definitions</code>

breaking

cosmetic

refactoring

Status: Open (in progress).

agda/agda-stdlibnumber 2552

#2552 In agda/agda-stdlib;

· jamesmckinna opened on Jan 15, 2025

 ·  

v3.0

Rename <code>Data.List.Properties.*-is-foldr</code>

bikeshedding

cosmetic

deprecation

library-design

naming

refactoring

Status: Open.

#2516 In agda/agda-stdlib;

· jamesmckinna opened on Dec 11, 2024

 ·  

v3.0

Rename <code>homo</code> to <code>∙-homo</code> in <code>Algebra.Morphism.Structures</code>

breaking

cosmetic

deprecation

naming

refactoring

Status: Open (in progress).

agda/agda-stdlibnumber 2464

#2464 In agda/agda-stdlib;

· jamesmckinna opened on Aug 29, 2024

 ·  

v3.0

Rename <code>WeaklyDecidable</code>?

cosmetic

dependencies

discussion

naming

Status: Open.

#2404 In agda/agda-stdlib;

· jamesmckinna opened on Jun 9, 2024

Standardise names for qualified module imports

admin

cosmetic

library-design

task

Status: Open.

#2280 In agda/agda-stdlib;

· jamesmckinna opened on Feb 6, 2024

Tidy up the <code>instance</code>-based reasoning in <code>Data.Rational.Properties</code>

cosmetic

instances

refactoring

Status: Open.

#2193 In agda/agda-stdlib;

· jamesmckinna opened on Nov 2, 2023

names of things (vol. 94): <code>Relation.Nullary.Reflects</code>

cosmetic

deprecation

library-design

naming

Status: Open.

#2058 In agda/agda-stdlib;

· jamesmckinna opened on Aug 15, 2023

 ·  

v3.0

Things to add to the style guide

admin

cosmetic

low-hanging-fruit

Status: Open.

#1018 In agda/agda-stdlib;

· MatthewDaggitt opened on Dec 23, 2019

Proposal for separating patterns in Style convention

cosmetic

discussion

Status: Open.

#1014 In agda/agda-stdlib;

· mechvel opened on Dec 22, 2019