JSON as a separate library

ziman / lightyear

Parser combinators for Idris

Other

238 stars 43 forks source link

JSON as a separate library #22

Closed puffnfresh closed 9 years ago

puffnfresh commented 9 years ago

I want to use JSON in my Idris application. I started writing a JSON library but then realised I should just use Lightyear, then I saw that it was even an example!

jfdm commented 9 years ago

@puffnfresh See https://github.com/jfdm/idris-config I have already spun out JSON and also modelled some other configuration file formats.

puffnfresh commented 9 years ago

Brilliant! Thank you.