search

tricktron / frege-lsp-server

Frege Language Server Using the Language Server Protocol
MIT License
1 stars 0 forks source link

Unicode Symobls are ignored in markedCode blocks #24

Open tricktron opened 2 years ago

tricktron commented 2 years ago

Screenshot 2022-07-05 at 15 59 17

The arrows and the unicode symbol a (in the Fraktur alphabet) are ignored.

tricktron commented 2 years ago

I can't get the Frege compiler to print ascii characters only: E.g. in Frege Repl: Screenshot 2022-08-07 at 10 18 39

tricktron commented 2 years ago

The option does only influence newly defined function signatures. Imported signatures are still fraktur. A new frege release would be needed to change the default type signatures from fraktur to latin.