search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Json example #27

Closed rbarreiro closed 9 years ago

rbarreiro commented 9 years ago

I think the json example is usefull, would it be a bad idea to add it to the package?

rbarreiro commented 9 years ago

I found idris-config just now.