search

imandra-ai / imandra-vscode

VSCode extension for developing imandra
Other
2 stars 0 forks source link

support rich strings in imandra plugin #37

Open c-cube opened 3 years ago

c-cube commented 3 years ago

the goal is to eventually be able ot display nice markdown messages, not just plain text.