├── .gitignore └── Data ├── JSON.idr └── JSON ├── Semantics.idr └── Type.idr /.gitignore: -------------------------------------------------------------------------------- 1 | *.ibc 2 | *~ 3 | -------------------------------------------------------------------------------- /Data/JSON.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eraserhd/Idris-json/HEAD/Data/JSON.idr -------------------------------------------------------------------------------- /Data/JSON/Semantics.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eraserhd/Idris-json/HEAD/Data/JSON/Semantics.idr -------------------------------------------------------------------------------- /Data/JSON/Type.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eraserhd/Idris-json/HEAD/Data/JSON/Type.idr --------------------------------------------------------------------------------