2 lines
71 B
Plaintext
2 lines
71 B
Plaintext
ρn➡name,a➡age(πn,a(ρid➡i,name➡n,chief➡c,age➡a(people)))
|
ρn➡name,a➡age(πn,a(ρid➡i,name➡n,chief➡c,age➡a(people)))
|