It&#x27;s really, really far from releasable code. The examples I posted are screenshots from my mockups (made in Excel).<p>What we have now as actual working code is a visual editor that allows to connect nodes together, a typechecker that prevent connections between different types (and invalidates &#x2F; blackens existing connections if they somehow go wrong), and multi-input &#x2F; variadic nodes such as lists and tuples.<p>It&#x27;s not yet executable - you can&#x27;t run the program in our visual environment yet, you can only construct &#x2F; typecheck them. Also, we have a metric ton of unsolved problems: function definition and signatures, deconstruction of ADT values, definition of ADTs, preview of intermediate values for each node etc.)<p>Based on what I see right now, it will take at least a year before we have anything resembling a proper language. Also, I predict that the runtime performance will be awful.