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