git.iko.soy/Idris-dev
on ea41144 help sign in
Idris-dev/libs/contrib/Text
3 folders, 3 files
../ Lexer/Text.Lexer: split core into its own module Parser/Text.Parser: flip argument order of `parse` PrettyPrint/Rewrite a helper function to be more maintainable. Lexer.idrText.Lexer: split core into its own module Literate.idrFix deprecation warning in Text.Literate Parser.idrText.Parser: additional combinators