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 /tests/test_python.py | |
| 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 'tests/test_python.py')
0 files changed, 0 insertions, 0 deletions