2 lines
68 B
Plaintext
2 lines
68 B
Plaintext
ρ name➡n,age➡a(σTrue(people)) ∪ ρ age➡a,name➡n(people)
|
ρ name➡n,age➡a(σTrue(people)) ∪ ρ age➡a,name➡n(people)
|