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

expose Data.Tuple #33

Closed andrevidela closed 4 years ago

andrevidela commented 4 years ago

It looks like Data.Tuple was meant to be exposed to the API but wasn't in the IPKG, this PR fixes that.