Working on finally releasing the programming language I’ve been working on for quite a while.

I’m setting up the basic site, which is not a huge deal, but I’ve been inspired by more recent language designers having a streaming presence, so I am working through test runs of streaming my development.

I hope to start with demos of the basic language features and then move on to streaming both a reimplementation of my compiler and on a Rocq implementation of the syntax and semantics of the language for proof work.

The language has a rather small niche at first glance, so I’m hoping to use the streaming as a way to explore areas of appeal and maybe draw some interest. A low level concurrent and parallel ‘functional’ language with very non-traditional syntax and a modal, dependent type theory is not going to appeal to everyone, but hopefully I can find some interest eventually, even if just to hang out on chat and talk about the subject.