json: Janky string

src/Parser/Interface.md

@@ -238,7 +238,6 @@ parseTheseChars cs = do
 Attempt to parse an exact string
 
 ```idris
-export
 exactString : String -> Parser String
 exactString str with (asList str)
   exactString "" | [] = pure ""

src/Parser/JSON.md

@@ -209,31 +209,3 @@ string = do
   _ <- parseExactChar '"'
   pure $ VString contents
 ```
-
-```idris
-number = do
-  d <- double
-  pure $ VNumber d
-```
-
-```idris
-bool = do
-  oneOfE
-    (throwParseError "Expected Bool")
-    (the (List _) [true, false])
-  where
-    true : Parser (JSONValue TBool)
-    true = do
-      _ <- exactString "true" 
-      pure $ VBool True
-    false : Parser (JSONValue TBool)
-    false = do
-      _ <- exactString "false" 
-      pure $ VBool False
-```
-
-```idris
-null = do
-  _ <- exactString "null"
-  pure VNull
-```