I've tried it and it seems promising indeed. But the whole interface isn't looking very interactive right now. The only feedback that I can get is editor's pop-up while hovering mouse over a problematic token. And autocomplete isn't very helpful either yet. Of course, the project is in a very early stage and so this is expected. Are you planning an improved interface for the future and what are limitations of VSCode extension? Also Plan9 interface comes to mind where any text is in fact a widget.
-- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/b0f36380-0d8c-4e87-879e-7444ec452052%40googlegroups.com.
