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