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

json: number

Browse source
This commit is contained in:
Nathan McCarty 2025-01-25 05:04:54 -05:00
parent 3ad023ef6a
commit 370bb18c06
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/Parser/JSON.md
View file

@ -209,3 +209,9 @@ string = do
_ <- parseExactChar '"' _ <- parseExactChar '"'
pure $ VString contents pure $ VString contents
``` ```
```idris
number = do
d <- double
pure $ VNumber d
```