Idris2Doc : Idris.IDEMode.Parser

Idris.IDEMode.Parser

(source)
Slightly different lexer than the source language because we are more free
as to what can be identifiers, and fewer tokens are supported. But otherwise,
we can reuse the standard stuff

Definitions

parseSExp : String->EitherErrorSExp
Visibility: export