Code

Change Monad polymorphism#11

Code

Open

WhatisRT wants to merge 2 commits intomasteragda/agda-stdlib-classes:masterfrom

change-monad-polymorphismagda/agda-stdlib-classes:change-monad-polymorphismCopy head branch name to clipboard

Commits

Commits on Nov 28, 2024

• Change `Monad` polymorphism

  Show description for c150309
  WhatisRT

  committed
  c150309

  Copy full SHA for c150309

Commits on Mar 27, 2025

• Add `Monad-Sum`

  WhatisRT

  committed
  a5afcf8

  Copy full SHA for a5afcf8