This is the last piece in the puzzle of whether I migrate to Rust. I love Shen and Uiua, but found Rust too much years ago. I know it has since evolved, but I had chosen Ada/SPARK for my verified, memory-safe, high assurance needs for many reasons I had listed in past. Rust is progressing on that front, but now, I can run Shen, Uiua, Helix, and functional Rust. I have left neovim for Helix, but I still open up nano emacs. I am just checking this port out, but it seems great. I had been using the CL port up until now. Uiua is amazing, and my hope is to learn enough Rust to work on it and contribute. Kai has done an amazing job! Exciting (good) times!