I have not noticed Gravel and thank you for pointing this. I am interested on the fact that is not just the port of the language but also the IDE. I would love to hear more about it and maybe even give it a try. Can I do live coding with it as I do with Pharo ? How I can use it together with Pharo ?�