From b018967cb16d7daba27eae974bb4bb997986c91c Mon Sep 17 00:00:00 2001
From: Nathan McCarty <thatonelutenist@stranger.systems>
Date: Sat, 25 Jan 2025 02:27:25 -0500
Subject: [PATCH] json: create module

---
 README.md          |  4 ++++
 advent.ipkg        |  1 +
 src/Parser/JSON.md | 12 ++++++++++++
 3 files changed, 17 insertions(+)
 create mode 100644 src/Parser/JSON.md

diff --git a/README.md b/README.md
index fcbee4e..48644ce 100644
--- a/README.md
+++ b/README.md
@@ -72,6 +72,10 @@ solution.
 
     Parsers for numerical values in multiple bases
 
+  - [JSON](src/Parser/JSON.md)
+
+  JSON Parser
+
 ## Index of years and days
 
 - 2015
diff --git a/advent.ipkg b/advent.ipkg
index e8aff07..119b03c 100644
--- a/advent.ipkg
+++ b/advent.ipkg
@@ -33,6 +33,7 @@ modules = Runner
         , Parser
         , Parser.Interface
         , Parser.Numbers
+        , Parser.JSON
 
 -- main file (i.e. file to load at REPL)
 main = Main
diff --git a/src/Parser/JSON.md b/src/Parser/JSON.md
new file mode 100644
index 0000000..1f2377c
--- /dev/null
+++ b/src/Parser/JSON.md
@@ -0,0 +1,12 @@
+# JSON Parser
+
+```idris
+module Parser.JSON
+
+import public Parser
+import public Parser.Numbers
+```
+
+<!-- idris
+import System
+-->