Documentation
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.
Requires
Dependencies
Consumers
Reverse Dependencies
No reverse dependencies recorded.