diff --git a/src/Parser/JSON.md b/src/Parser/JSON.md index 453177a..c4d987d 100644 --- a/src/Parser/JSON.md +++ b/src/Parser/JSON.md @@ -209,3 +209,9 @@ string = do _ <- parseExactChar '"' pure $ VString contents ``` + +```idris +number = do + d <- double + pure $ VNumber d +```