Idris/advent
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

json: create module

Browse source
This commit is contained in:
Nathan McCarty 2025-01-25 02:27:25 -05:00
parent 906ffb7877
commit b018967cb1
3 changed files with 17 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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