Removing custom support for compiler hacking - Githubissues

FStarLang / fstar-mode.el

Emacs support for F*

Apache License 2.0

67 stars 17 forks source link

Removing custom support for compiler hacking #114

Open aseemr opened 5 years ago

aseemr commented 5 years ago

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