gallais/idris-tparsec

Adding a .ipkg file?

Invisible-Rabbit-Hunter opened this issue · 0 comments

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