karamel icon indicating copy to clipboard operation
karamel copied to clipboard
verified publisher icon FStarLang

Backend support for LowStar.Ignore

Open msprotz opened this issue 3 years ago • 0 comments

Needs https://github.com/FStarLang/FStar/pull/2658 before we can get a green

msprotz avatar Jul 21 '22 20:07 msprotz