search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Add notes on Lazy operators #54

Closed leostera closed 7 years ago

leostera commented 7 years ago

Hi! I spent some time stuck with this and I figured that it'd be relevant to surface that there are some lazy operators available :)