melpa/recipes/cryptol-mode
Austin Seipp 815b79072d Add cryptol-mode package.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2013-03-03 19:13:17 -06:00

3 lines
70 B
Text

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