issues
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
weaken constraint on tokens to Eq
#9
Closed
clayrat
closed
6 years ago
clayrat
commented
6 years ago
Fixes #8
Fixes #8