From e46e1663b984fe318c7ab3c6b1195f672a47ef73 Mon Sep 17 00:00:00 2001
From: Nathan McCarty <thatonelutenist@stranger.systems>
Date: Sat, 25 Jan 2025 05:04:54 -0500
Subject: [PATCH] json: number

---
 src/Parser/JSON.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/Parser/JSON.md b/src/Parser/JSON.md
index 453177a..c4d987d 100644
--- a/src/Parser/JSON.md
+++ b/src/Parser/JSON.md
@@ -209,3 +209,9 @@ string = do
   _ <- parseExactChar '"'
   pure $ VString contents
 ```
+
+```idris
+number = do
+  d <- double
+  pure $ VNumber d
+```