scotek/idris-json-decode

Turn JSON values into Idris values

Modifications to work with Idris 2 and experiment with convenient ways to extra data from JSON.

Original README.md:

Decode Language.JSON.Data.JSON to arbitrary values.

Shamelessly ripped from http://package.elm-lang.org/packages/elm-lang/core/latest/Json-Decode .