search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Fix install instructions - file extension update. #2

Closed david-christiansen closed 10 years ago