Replace Data.Char.Unicode.digitToInt by Data.Char.Unicode.hexDigitToInt and Data.Char.Unicode.isDigit by Data.Char.Unicode.isDecDigit#103

Merged

thomashoneyman merged 3 commits intopurescript-contrib:mainfrom

kl0tl:replace-Data.Char.Unicode.digitToInt-by-Data.Char.Unicode.hexDigitToInt

Dec 28, 2020

Commits on Dec 28, 2020