IdrisDoc
: Language.JSON
Index
Language.JSON
The JSON language, as described at
https://json.org/
parse
:
String
->
Maybe
JSON
Parse a JSON string.