Add cryptol-mode package.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2013-03-03 19:13:17 -06:00
parent 672748afb9
commit 815b79072d

3
recipes/cryptol-mode Normal file
View file

@ -0,0 +1,3 @@
(cryptol-mode
:fetcher github
:repo "thoughtpolice/cryptol-mode")