summaryrefslogtreecommitdiff
path: root/doc/languages.rst
diff options
context:
space:
mode:
Diffstat (limited to 'doc/languages.rst')
-rw-r--r--doc/languages.rst1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/languages.rst b/doc/languages.rst
index ffe1bdb6..7fa8eb2f 100644
--- a/doc/languages.rst
+++ b/doc/languages.rst
@@ -26,6 +26,7 @@ Programming languages
* Common Lisp
* Coq
* Cryptol (incl. Literate Cryptol)
+* `Crystal <http://crystal-lang.org>`_
* `Cython <http://cython.org>`_
* `D <http://dlang.org>`_
* Dart