It’s less a specific domain thing and more an overly opinionated exploration framework for me. Not that it’s really important, but the language is a modal depen

It’s less a specific domain thing and more an overly opinionated exploration framework for me. Not that it’s really important, but the language is a modal dependent type theory with a compositional (even though most people would call it concatenative) syntax that compiles to C, C++, and JavaScript. So I can always just reuse the underlying platform http and the rest of the stdlib.