search

gallais / idris-tparsec

TParsec - Total Parser Combinators in Idris
https://gallais.github.io/idris-tparsec/
GNU General Public License v3.0
93 stars 10 forks source link

Adding a .ipkg file? #1

Closed Invisible-Rabbit-Hunter closed 6 years ago

Invisible-Rabbit-Hunter commented 6 years ago

Please add a .ipkg file for ease of installation an building. It would make using your library more convenient.