fix changelog (#2435)

mildsunrise · andreasabel · commit c1a984175446 · 2024-07-10T10:43:52.000+02:00
couple fixes for changelog rendering
diff --git 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 _
