diff --git a/recipes/cryptol-mode b/recipes/cryptol-mode
new file mode 100644
index 00000000..213639d1
--- /dev/null
+++ b/recipes/cryptol-mode
@@ -0,0 +1,3 @@
+(cryptol-mode
+  :fetcher github
+  :repo "thoughtpolice/cryptol-mode")