Idris.IdeMode

parseMessage

convSExp

data WhatDocs

data IdeModeCommand

sexpToCommand

toSExp

data SExp

class SExpable a

data Opt

ideModeEpoch

getLen

getNChar

sExpToString