(idris-mode :repo "idris-hackers/idris-mode" :fetcher github)