Update src/Text/Literate.idr
Update src/Text/Literate.idr

Improve efficiency of lexer for code lines.

Co-authored-by: G. Allais <60a54f938b6c3401112164cd81a3e51650ab7fb0@ens-lyon.org>
mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm