SR9: A Motoko-Derived Language for Writing and Verifying Canisters

it’s shipped. verifies DEXes. Few trolls and bots are throwing tomatoes yeah, nobody cares about the trolls, nor their fans

Oh my fault.

I was under the impression that the “claim was too big”

And there were “other reasons.” And I didnt see anyone celebrating. So you can see why I was under the impression you wernt finished.

It’s not finished and never will be, like any language. It can always get better. But it can verify a lot already. The cellebration in an eco that isn’t interested in human devs will be pretty much one dev with 30 AIs and they won’t be that interested in throwing a party.

Depressing but true. Oh well. I wish you the best.