[choeger]

But what's its type discipline? H/M polymorphism? Overloading? Subtyping?

How is it evaluating? Eager? Lazy?

What values are supported? Records? What flavor? Modules?

[rhencke]

You may find the Ko Handbook useful, as much of this is addressed there:

https://kocircuit.github.io/language/