search

idris-community / inigo

Inigo: A Package Manager for Idris2
https://inigo.pm
MIT License
60 stars 7 forks source link

Idrall.Parser ⇒ Idrall.ParserNew #45

Closed lizard-business closed 1 year ago

lizard-business commented 1 year ago

It looks like at some point idrall had two parsers, but the old one was removed in https://github.com/alexhumphreys/idrall/commit/88f7410fd3deae92c15c6daaec68b0bb83c0efd1.