search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

JSON example broken #10

Closed ziman closed 10 years ago

ziman commented 10 years ago

$subj, reported by profmakx

ziman commented 10 years ago

Fixed by #11.