Monaco for rambda playground. #670
sschneider-ihre-pvs
started this conversation in
Ideas
Replies: 1 comment
-
|
I think it already uses it but I haven't look into autocomplete. I will see if it is hard to implement. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
I don't know how difficult that is, but Monaco could help a lot for autocompletion and prettiness.
Beta Was this translation helpful? Give feedback.
All reactions