fstar-mode.el icon indicating copy to clipboard operation
fstar-mode.el copied to clipboard

Published 20 hours ago • verified publisher icon FStarLang

Removing custom support for compiler hacking

Open aseemr opened this issue 5 years ago • 0 comments

See https://github.com/FStarLang/fstar-mode.el/issues/113.

aseemr avatar Aug 20 '19 11:08 aseemr