Open cschierig opened 4 years ago
When I write do and then press enter, it gets autocompleted to drop Int [a]. I have created my own snippet to fix this, but I think it should be added by default.
do
drop Int [a]
When I write
do
and then press enter, it gets autocompleted todrop Int [a]
. I have created my own snippet to fix this, but I think it should be added by default.