Hacker News Reader

It looks to be a nicer C ultimately.

It looks like it fits pretty squarely in the "if you want to do C level programming but you'd also like nice lambdas, sum types, and type inference"

Yeah but we have a lot of languages that do that now. Some of them are even mentioned on Onyx's homepage.

And only need it to compile to webassembly.

Oh, I missed that part. That's quiet the design choice.