helm-idris

Homepage: https://github.com/david-christiansen/helm-idris

Author: David Raymond Christiansen

Updated: 2014-Dec-02

Summary

A Helm datasource for Idris documentation, queried from the compiler

Commentary

An interface to search the Idris documentation, live from a connection to
the compiler. Actions are available to insert an identifier, either
qualified or bare, and to see full documentation.

Dependencies

• helm
• idris-commands
• idris-common-utils
• idris-info
• inferior-idris