15 lines
228 B
Text
15 lines
228 B
Text
|
( :?names
|
||
|
|
& ( get$("students.xml",X,ML)
|
||
|
|
: ?
|
||
|
|
( ( Student
|
||
|
|
. (? (Name.?name) ?,)
|
||
|
|
| ? (Name.?name) ?
|
||
|
|
)
|
||
|
|
& !names !name:?names
|
||
|
|
& ~
|
||
|
|
)
|
||
|
|
?
|
||
|
|
| !names
|
||
|
|
)
|
||
|
|
)
|