melpa/recipes/cryptol-mode

4 lines
70 B
Text
Raw Permalink Normal View History

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