diff --git a/Coding-environment.md b/Coding-environment.md
index 660fe1e..a739e0a 100644
--- a/Coding-environment.md
+++ b/Coding-environment.md
@@ -1,4 +1,6 @@
-The current proposal for an implementation language is Nim, which has a well-developed static type system, with generic functions and operator overloading, and a clean mostly brace-free syntax. It compiles to C, C++, and JavaScript, and has foreign function interfaces for all three. There is a third-party direct-to-WebAssembly compiler using LLVM that was active not too long ago. So this seems like a promising choice and likely to be the way to go unless some issue or better alternative pops up.
+We're currently developing Dyna3 in Rust, with a Civet-like [syntax unmangler](https://code.studioinfinity.org/glen/husht) on the back burner.
+
+An early proposal for an implementation language was Nim, which has a well-developed static type system, with generic functions and operator overloading, and a clean mostly brace-free syntax. It compiles to C, C++, and JavaScript, and has foreign function interfaces for all three. There is a third-party direct-to-WebAssembly compiler using LLVM that was active not too long ago. So this seems like a promising choice and likely to be the way to go unless some issue or better alternative pops up.
 
 However, a single program cannot call both C/C++ and JavaScript. Dyna3 might consist of multiple programs, though, that somehow call each other, so it might be possible to use both external JavaScript and C++ libraries in the overall project -- I am not sure.