Issues · rocq-community/coq-ext-lib · GitHub

Labels Milestones New issue

`pass` does nothing in instances of `MonadWriter` for `stateT` and `eitherT`

#153

· bamarsha opened

on Jul 18, 2025

Notation for RelDecl breaks core rocq syntax

#152

· Janno opened

on Jun 25, 2025

rwHyps stops on first recursive equality

#144

· Janno opened

on Mar 15, 2024

`Monad list` instances will cause template-polymorphism problems

#124

· Blaisorblade opened

on Jan 14, 2022

`Set Typeclass Strict Resolution`

#122

· Lysxia opened

on Jan 12, 2022

The EqvWF_Build instance messes up with typeclass resolution

#100

· YaZko opened

on Aug 19, 2020

stdlibpp

#94

· spitters opened

on Jul 10, 2020

Why is Monoid a record rather than a Class

#82

· lastland opened

on Jan 11, 2020

monad library

#79

· vzaliva opened

on Dec 25, 2019

Simplify Show

#75

· gmalecha opened

on Oct 17, 2019

Simplify Monad

#69

· Lysxia opened

on Sep 25, 2019

state monad using record as a state

#48

· vzaliva opened

on Nov 13, 2018