helm-idris:用于查询 Idris 编译器的 Helm 数据源

铁线莲 用于查询 Idris 编译器的 Helm 数据源 这个包定义了一个命令helm-idris ，它与正在运行的 Idris 编译器对话，使用它的:apropos命令来获取有关查询的信息。 第一个模式由 Idris 解释，但为了速度起见，Helm 负责处理后续模式。 搜索时，您会看到语义颜色的名称、类型签名和文档摘要。 共有三个操作：插入找到的名称、插入完全限定的名称和查找完整文档。