let's talk about qi

https://en.wikipedia.org/wiki/Qi_(programming_language)

Copy pasted example of defining a type for a sorted list.

(12+) (datatype ordering

if (number? X)
if (number? Y)
let Z (* X 2)
if (= Y Z)
__________________
[X Y] : ordering;)
ordering : unit

(13+) [2 3] : ordering
error: type failure

(14+) [2 4] : ordering
[2 4] : ordering

My role is now more of an observer and to maintain the sources and standards and printed documentation. What people do with Shen, where they take it, is now in the hands of the Shenturians. This means to a degree that people have to define and solve their own problems. My path resumes from where I left it when I returned from the edge of the Himalayas to build Shen.