Safe Haskell	None

Idris.REPLParser

Documentation

parseCmd :: IState -> String -> String -> Result Command Source