search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Fix the MonadTrans implementation #40

Closed Melvar closed 8 years ago

Melvar commented 8 years ago

The elaborator had no idea what to fill in for m, since it wasn’t referenced anywhere.

ziman commented 8 years ago

Oh, thanks! :)