Idris.IdeMode
parseMessage
convSExp
data WhatDocs
data IdeModeCommand
sexpToCommand
toSExp
data SExp
class SExpable a
data Opt
ideModeEpoch
getLen
getNChar
sExpToString