melpa/recipes/helm-idris

3 lines
68 B
Text
Raw Normal View History

2014-07-18 21:30:43 +02:00
(helm-idris
:fetcher github
:repo "david-christiansen/helm-idris")