delta/python-packages/pygments-git.git/tests/examplefiles/example.fst, branch 2.7.4 github.com: pygments/pygments.git A lexer for F*, an ML dialect for program verification (#1409) 2020-04-10T11:30:33+00:00 Denis Merigoux denis.merigoux@gmail.com 2020-04-10T11:30:33+00:00 80221ddde4e3663bf70bb7f7681d9b4b70c76ee9 * 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> 
* 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>