This summary for XY 1.7 [1] seems a better writeup of what XY actually is and the 1.7 links at the bottom of OP also provide terse documentation.

>XY is a direct descendant of the vector language K and the concatenative language Joy.

[1] http://www.nsl.com/k/xy/xy.txt