FStar icon indicating copy to clipboard operation
FStar copied to clipboard

Published 20 hours ago • verified publisher icon FStarLang

__FL__ added and tested

Open briangmilnes opened this issue 1 year ago • 2 comments

Two changes: 1) FL lexeme in FStarC_Parser_LexFStar.ml 2) tests/validation-time with a Test.LexemeFL.fst that checks FL

briangmilnes avatar Oct 16 '24 05:10 briangmilnes