Add recipe for helm-idris

This commit is contained in:
David Raymond Christiansen 2014-07-18 21:30:43 +02:00
parent 9b212de583
commit 275e3606c2

3
recipes/helm-idris Normal file
View file

@ -0,0 +1,3 @@
(helm-idris
:fetcher github
:repo "david-christiansen/helm-idris")