Merge pull request #565 from thoughtpolice/cryptol-mode

Add cryptol-mode recipe.
This commit is contained in:
Steve Purcell 2013-03-04 00:08:58 -08:00
commit de12333bb4

3
recipes/cryptol-mode Normal file
View file

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