From 7ed1cf1b2b33ad9a9247351e4a93fd90d3bcc3f4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Javier=20D=C3=ADaz?= <javier.diaz@iohk.io>
Date: Thu, 6 Feb 2025 15:04:49 +0000
Subject: [PATCH] =?UTF-8?q?Add=20`Show`=20instance=20for=20`=E2=84=9A`?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 Class/Show/Instances.agda | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Class/Show/Instances.agda b/Class/Show/Instances.agda
index a747554..e3e59bc 100644
--- a/Class/Show/Instances.agda
+++ b/Class/Show/Instances.agda
@@ -29,6 +29,9 @@ instance
   Show-ℤ = Show _ ∋ record {M}
     where import Data.Integer.Show as M
 
+  Show-ℚ = Show _ ∋ record {M}
+    where import Data.Rational.Show as M
+
   Show-Fin : Show¹ Fin
   Show-Fin .show = ("# " ◇_) ∘ show ∘ toℕ
     where open import Data.Fin using (toℕ)