summaryrefslogtreecommitdiff
path: root/tests/examplefiles/example.fst
Commit message (Expand)AuthorAgeFilesLines
* A lexer for F*, an ML dialect for program verification (#1409)Denis Merigoux2020-04-101-0/+1416