It would be nice if implicit variables took greek lettering

[briangmilnes]

Tiny thing #'a does not parse and I'm working through a text in which greek is used in types.

[andricicezar]

I think this should be an issue on the repo of the emacs mode for F*: https://github.com/FStarLang/fstar-mode.el

[briangmilnes]

You are correct, sorry I missed that, it does compile on the command line.

Although I think fstar under emacs is dying.

I don't know enough VS Code to test this right yet. Does it parse in that interface?

Thanks, B