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

Lattice from decidable total order

addition

library-design

question

Status: Open.

#1663 In agda/agda-stdlib;

· andreasabel opened on Dec 20, 2021

Problem with reexport items related to a Raw-structure

library-design

question

Status: Open.

#1534 In agda/agda-stdlib;

· mechvel opened on Jul 5, 2021

Commutative semiring of decidable types

addition

question

Status: Open.

#1404 In agda/agda-stdlib;

· conal opened on Jan 22, 2021

confusion with the <code>reflexive</code> word

naming

question

status: won't-fix

Status: Open.

#1401 In agda/agda-stdlib;

· mechvel opened on Jan 17, 2021

 ·  

hypothetical-rewrite

Deciding property for enumerable set

addition

question

Status: Open.

#1373 In agda/agda-stdlib;

· uzytkownik opened on Dec 8, 2020

A name for <code>P x → P (f x)</code>

addition

question

Status: Open.

#1245 In agda/agda-stdlib;

· mechvel opened on Jul 2, 2020

Setoid on <code>Σ Carrier P</code> via <code>proj₁</code> ?

addition

question

Status: Open.

#1186 In agda/agda-stdlib;

· mechvel opened on May 2, 2020

Bundles skipped in ...Construct.StrictToNonStrict

library-design

question

Status: Open.

#987 In agda/agda-stdlib;

· mechvel opened on Nov 30, 2019

Increasing the amount of re-exporting in <code>Data.X</code>

library-design

question

Status: Open.

#619 In agda/agda-stdlib;

· mechvel opened on Feb 15, 2019

 ·  

v3.0

Improve documentation of modules

documentation

question

Status: Open.

#595 In agda/agda-stdlib;

· alhassy opened on Jan 16, 2019

Instance argument agda-stdlib policy?

library-design

question

Status: Open.

#559 In agda/agda-stdlib;

· xekoukou opened on Dec 7, 2018