(cryptol-mode
  :fetcher github
  :repo "thoughtpolice/cryptol-mode")