search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

fixed evaluates #67

Closed 0xflotus closed 5 years ago

ziman commented 5 years ago

Thank you!