There’s a handful of things in a bunch of different domains, although mathy things are the most well developed. The language is definitely general purpose and s

There’s a handful of things in a bunch of different domains, although mathy things are the most well developed. The language is definitely general purpose and suitable in a ton of different domains. It’s just going to take time for the ecosystem to build up.