Idris2Doc : Text.ILex

Text.ILex

(source)
Reexports
import public Text.Bounds
import public Text.FC
import public Text.ILex.Interfaces
import public Text.ILex.Parser
import public Text.ILex.Runner
import public Text.ILex.Util