Search results

Fragile <code>NonZero</code> and implementation-dependent luck

breaking

bug

instances

Status: Open.

#2644 In agda/agda-stdlib;

· JacquesCarette opened on Mar 5, 2025

 ·  

Agda v2.8.0

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

Explore further improving instance search for <code>NonZero</code> instances

addition

discussion

instances

library-design

upstreamChanges induced by Agda upstreamChanges induced by Agda upstream

Status: Open.

#1565 In agda/agda-stdlib;

· MatthewDaggitt opened on Jul 29, 2021

 ·  

Agda-future

Use instance fields for superclasses (?)

discussion

instances

Status: Open.

#1529 In agda/agda-stdlib;

· jespercockx opened on Jun 27, 2021

 ·  

v3.0

Add type classes and <code>.Instance</code> modules declaring their instances

addition

instances

library-design

Status: Open.

#1332 In agda/agda-stdlib;

· jespercockx opened on Oct 23, 2020

 ·  

v3.0