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 +```