| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | A lexer for F*, an ML dialect for program verification (#1409) | Denis Merigoux | 2020-04-10 | 1 | -0/+1416 |
| * 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> | |||||
 |
index : delta/python-packages/pygments-git.git | |
| github.com: pygments/pygments.git |
| summaryrefslogtreecommitdiff |