gpo.zugaina.org

Search Portage & Overlays:

app-emacs/helm-idris

A Helm datasource for Idris documentation, queried from the compiler

Screenshots

Runtime Dependencies

helm-idris-20141202.1757