diff options
Diffstat (limited to 'doc/languages.rst')
| -rw-r--r-- | doc/languages.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/languages.rst b/doc/languages.rst index 426a576b..6a98b252 100644 --- a/doc/languages.rst +++ b/doc/languages.rst @@ -25,6 +25,7 @@ Programming languages * ColdFusion * Common Lisp * Coq +* Cryptol (incl. Literate Cryptol) * `Cython <http://cython.org>`_ * `D <http://digitalmars.com/d>`_ * Dart |