From 33c15adf3c6de9d5a2ebd516ae2b7574539478e6 Mon Sep 17 00:00:00 2001
From: Nathan McCarty <thatonelutenist@stranger.systems>
Date: Fri, 24 Jan 2025 16:33:29 -0500
Subject: [PATCH] numbers: Create numbers module

---
 README.md             | 4 ++++
 advent.ipkg           | 1 +
 src/Parser/Numbers.md | 5 +++++
 3 files changed, 10 insertions(+)
 create mode 100644 src/Parser/Numbers.md

diff --git a/README.md b/README.md
index 52d86cd..dc78c7c 100644
--- a/README.md
+++ b/README.md
@@ -68,6 +68,10 @@ solution.
 
     Internal state of a parser
 
+  - [ParserState](src/Parser/ParserState.md)
+
+    Parsers for numerical values in multiple bases
+
 ## Index of years and days
 
 - 2015
diff --git a/advent.ipkg b/advent.ipkg
index 56f6e75..e8aff07 100644
--- a/advent.ipkg
+++ b/advent.ipkg
@@ -32,6 +32,7 @@ modules = Runner
         , Array
         , Parser
         , Parser.Interface
+        , Parser.Numbers
 
 -- main file (i.e. file to load at REPL)
 main = Main
diff --git a/src/Parser/Numbers.md b/src/Parser/Numbers.md
new file mode 100644
index 0000000..29e6ece
--- /dev/null
+++ b/src/Parser/Numbers.md
@@ -0,0 +1,5 @@
+# Numerical Parsers
+
+```idris
+module Parser.Numbers
+```