Code

Add Show instance for Maybe#13

Code

Merged

WhatisRT merged 1 commit intoagda:masteragda/agda-stdlib-classes:masterfrom

javierdiaz72:javierdiaz72/maybe-show-instancejavierdiaz72/agda-stdlib-classes:javierdiaz72/maybe-show-instanceCopy head branch name to clipboard

Jan 28, 2025

Commits

Commits on Jan 23, 2025

• Add `Show` instance for `Maybe`

  javierdiaz72

  committed
  7f4e64b

  Copy full SHA for 7f4e64b