https://github.com/brainrake/idris-json-decode

Turn JSON values into Idris values
https://github.com/brainrake/idris-json-decode

Last synced: about 2 months ago
JSON representation

Turn JSON values into Idris values

• Host: GitHub
• URL: https://github.com/brainrake/idris-json-decode
• Owner: brainrake
• License: unlicense
• Created: 2018-05-11T07:20:53.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2018-05-11T11:26:56.000Z (almost 8 years ago)
• Last Synced: 2025-10-14T11:37:35.685Z (6 months ago)
• Language: Idris
• Size: 3.91 KB
• Stars: 0
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

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

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