Idris.Doc.Keywords

Definitions

getDocsForKeyword : String -> Doc IdrisDocAnn

Visibility: export

getDocsForSymbol : String -> Doc IdrisDocAnn

Visibility: export