From d3c50376c14a20604940c5f6694a5bb2602d34a7 Mon Sep 17 00:00:00 2001
From: Alba Mendez <me@alba.sh>
Date: Mon, 8 Jul 2024 12:00:42 +0200
Subject: [PATCH] fix changelog (#2435)

couple fixes for changelog rendering
---
 CHANGELOG.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index d5851dde0d..bb6e91c887 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -822,9 +822,9 @@ Additions to existing modules
   ```agda
   recompute          : Reflects A b → Recomputable A
   recompute-constant : (r : Reflects A b) (p q : A) → recompute r p ≡ recompute r q
- ```
+  ```
 
-* Added new definitions in `Relation.Unary`
+* Added new definitions in `Relation.Unary`:
   ```agda
   Stable          : Pred A ℓ → Set _
   WeaklyDecidable : Pred A ℓ → Set _