search

gallais / idris-tparsec

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

add Eq instances for Position and Result #24

Closed clayrat closed 5 years ago

clayrat commented 5 years ago

This is needed if you use something like https://github.com/pheymann/specdris to write tests for parsers.