numbers: Create numbers module

This commit is contained in:
Nathan McCarty 2025-01-24 16:33:29 -05:00
parent 72ea53becf
commit 46b591283d
3 changed files with 10 additions and 0 deletions

View file

@ -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

View file

@ -32,6 +32,7 @@ modules = Runner
, Array
, Parser
, Parser.Interface
, Parser.Numbers
-- main file (i.e. file to load at REPL)
main = Main

5
src/Parser/Numbers.md Normal file
View file

@ -0,0 +1,5 @@
# Numerical Parsers
```idris
module Parser.Numbers
```