/idris2-json-schema

Generate Idris 2 data types from a JSON Schema

Primary LanguageIdrisOtherNOASSERTION

Stargazers