(helm-idris
 :fetcher github
 :repo "david-christiansen/helm-idris")