diff options
author | Edward O'Callaghan <eocallaghan@alterapraxis.com> | 2014-05-05 14:30:38 +1000 |
---|---|---|
committer | Edward O'Callaghan <eocallaghan@alterapraxis.com> | 2014-05-05 14:30:38 +1000 |
commit | 379cd7917583c5123a1f4396028a38e0ce021699 (patch) | |
tree | 8c0a67d54e957590ebd761822fc81dea75971dc6 /doc | |
parent | f16d0dbfaececc1b868c11355f4bca13e06dca53 (diff) | |
download | pygments-379cd7917583c5123a1f4396028a38e0ce021699.tar.gz |
new/cryptol: Initial support
Mostly based off Haskell, however with some tweaks to get reasonable
support going.
Signed-off-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
Diffstat (limited to 'doc')
-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 |