git.iko.soy/Idris-dev
on bc8da8d help sign in
Idris-dev/libs/contrib/Text
3 folders, 5 files
../ Lexer/Text.Lexer: add `concatMap`, move `concat` out of core Parser/Text.Parser.Core: mapToken conversion function PrettyPrint/Fixes #4048. Add Laziness annotations. Lexer.idrText.Lexer, Text.Parser: quantity combinators Literate.idrFix deprecation warning in Text.Literate Parser.idrText.Lexer, Text.Parser: quantity combinators Quantity.idrText.Lexer, Text.Parser: quantity combinators Token.idrText.Token: utilities for token value conversion