Idris2Doc : Language.JSON

Language.JSON

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

Totality: total