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