json: create module

This commit is contained in:
Nathan McCarty 2025-01-25 02:27:25 -05:00
parent 2775429bf3
commit 6be2b5372e
3 changed files with 17 additions and 0 deletions

View file

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

View file

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

12
src/Parser/JSON.md Normal file
View file

@ -0,0 +1,12 @@
# JSON Parser
```idris
module Parser.JSON
import public Parser
import public Parser.Numbers
```
<!-- idris
import System
-->