FStar icon indicating copy to clipboard operation
FStar copied to clipboard

Published 20 hours ago • verified publisher icon FStarLang

Did you miss a semicolon?

Open briangmilnes opened this issue 5 months ago • 0 comments

OCaml comments on function applications with too many arguments "Did you miss a ;?" we should too to ease new users experience.

briangmilnes avatar Sep 15 '24 17:09 briangmilnes