diff options
| author | Denis Merigoux <denis.merigoux@gmail.com> | 2020-04-10 13:30:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-10 13:30:33 +0200 |
| commit | 80221ddde4e3663bf70bb7f7681d9b4b70c76ee9 (patch) | |
| tree | 597e89340a51b8bd94b4357cba49e6a61fcd3998 /doc/languages.rst | |
| parent | 277914805e958d56892be02a0b8ff1a16b9b29c5 (diff) | |
| download | pygments-git-80221ddde4e3663bf70bb7f7681d9b4b70c76ee9.tar.gz | |
A lexer for F*, an ML dialect for program verification (#1409)
* A lexer for F*, an ML dialect for program verification
* Fix treatment of infix applications, e.g.
* Correct modifications
* Better lexing
* Added F* to the list of supported languages
* Add example file
* Bumped versionadded field
* Added link to language
Co-authored-by: Jonathan Protzenko <jonathan.protzenko@gmail.com>
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 6ca2ab10..f0794a43 100644 --- a/doc/languages.rst +++ b/doc/languages.rst @@ -65,6 +65,7 @@ Programming languages * Fortran * `FreeFEM++ <https://freefem.org/>`_ * F# +* F* <https://www.fstar-lang.org/>` _ * GAP * Gherkin (Cucumber) * GLSL shaders |