Text.Lexer: hexDigit, hexDigits, hexLit
Text.Lexer: hexDigit, hexDigits, hexLit

kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev