This sorely needs a page describing its features and overall design. I spent maybe 10 minutes reading documentation and gave up. Reading between the lines, it

This sorely needs a page describing its features and overall design. I spent maybe 10 minutes reading documentation and gave up. Reading between the lines, it’s statically-typed, compiles to assembly, and I haven’t seen a type annotation yet, but I’ve seen a “let rec,” so maybe it’s similar to OCaml? Or even Ocaml in disguise again? But perhaps they decided to obscure that for marketing reasons, as if adopters of hot-off-the-press programming languages are just programmers looking for something nondescriptly “modern”, rather than programming language enthusiasts.