search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Make Position.Generic.increment total #59

Closed Melvar closed 7 years ago

Melvar commented 7 years ago

Fixes #58 by explicitly handling a tabwidth of zero.

ziman commented 7 years ago

Thanks!