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