which web editor to use? #131
Labels
help wanted
Extra attention is needed
playground
Dada playground tasks (often involve JS/HTML/CSS)
question
Further information is requested
Currently we are using ace.js. It was painless to setup and I've always found play.rust-lang.org quite pleasant to use. But there are some shortcomings, and thinking forward there are some features I would like that I it may not support:
vec.push(22)
tovec.leased.push(22)
or show the inferred types for things.JS editors I'm aware of:
The text was updated successfully, but these errors were encountered: