SpiceQA
Questions
Tags
Users
Badges
user_10497996
@user_10497996
0
reputation
0
answers
1
questions
About Me
// Hello, World !
Top Answers
Top Questions
Why would prime (aka ') raise an error in the following: pred add (b, b': Book, n: Name, a: Addr) { b’.addr = b.addr + n -> a }?
1 votes
1 answers
