git.iko.soy/Idris-dev
on 5e2000e help sign in
Idris-dev/libs/contrib/Text
3 folders, 5 files
../ Lexer/Use Integer comparison in Lexer for string length Parser/Text.Parser.Core: mapToken conversion function PrettyPrint/fix param name in comment. Lexer.idrfix octal digits lexer Literate.idrFix deprecation warning in Text.Literate Parser.idrfix the type of end grammar in someTill' Quantity.idrText.Lexer, Text.Parser: quantity combinators Token.idrText.Token: capitalize `TokType` in `TokenKind`