All issues

Search results

pass does nothing in instances of MonadWriter for stateT and eitherT

Status: Open.

#153 In rocq-community/coq-ext-lib;

· bamarsha opened on Jul 18, 2025

Notation for RelDecl breaks core rocq syntax

Status: Open.

#152 In rocq-community/coq-ext-lib;

· Janno opened on Jun 25, 2025

rwHyps stops on first recursive equality

Stale

Status: Open.

#144 In rocq-community/coq-ext-lib;

· Janno opened on Mar 15, 2024

Monad list instances will cause template-polymorphism problems

Stale

Status: Open.

#124 In rocq-community/coq-ext-lib;

· Blaisorblade opened on Jan 14, 2022

Set Typeclass Strict Resolution

Stale

Status: Open.

#122 In rocq-community/coq-ext-lib;

· Lysxia opened on Jan 12, 2022

The EqvWF_Build instance messes up with typeclass resolution

Stale

Status: Open.

#100 In rocq-community/coq-ext-lib;

· YaZko opened on Aug 19, 2020

stdlibpp

Stale

Status: Open.

#94 In rocq-community/coq-ext-lib;

· spitters opened on Jul 10, 2020

Why is Monoid a record rather than a Class

Stale

Status: Open.

#82 In rocq-community/coq-ext-lib;

· lastland opened on Jan 11, 2020

monad library

Stale

Status: Open.

#79 In rocq-community/coq-ext-lib;

· vzaliva opened on Dec 25, 2019

Simplify Show

Stale

Status: Open.

#75 In rocq-community/coq-ext-lib;

· gmalecha opened on Oct 17, 2019

Simplify Monad

Stale

Status: Open.

#69 In rocq-community/coq-ext-lib;

· Lysxia opened on Sep 25, 2019

state monad using record as a state

Stale

Status: Open.

#48 In rocq-community/coq-ext-lib;

· vzaliva opened on Nov 13, 2018