gallais/idris-tparsec

Adding Elba manifest

clayrat opened this issue · 0 comments

clayrat commented

There's this new package manager for Idris: https://github.com/elba/elba/, might be useful to have TParsec indexed by it?