Looks like a cornucopia of nice programming language features, including one that's in Ada that almost no other language provides: integer subset types/range types. Definitely promising.
The documentation is very jittery/laggy while scrolling on a phone though. I don't know why that's about, but it's distracting.
>including one that's in Ada that almost no other language provides: integer subset types/range types.
This is one of these features that seems so simple and makes life so much easier in embedded programming where you often have exact ranges for things, and also delta types for fixed-point math.
The documentation is very jittery/laggy while scrolling on a phone though. I don't know why that's about, but it's distracting.