Idris2Doc : JSON.Simple

JSON.Simple

(source)
Reexports
import public JSON.Parser
import public JSON.Simple.FromJSON
import public JSON.Simple.Option
import public JSON.Simple.ToJSON