Code

Add Show instance for ℚ#15

Code

Merged

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

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

Feb 6, 2025

Commits

Commits on Feb 6, 2025

• Add `Show` instance for `ℚ`

  javierdiaz72

  committed
  7ed1cf1

  Copy full SHA for 7ed1cf1