search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Turned back on partial evaluation. #17

Closed jfdm closed 9 years ago