SpiceQA
Questions
Tags
Users
Badges
user_1547046
@user_1547046
0
reputation
0
answers
0
questions
About Me
// Hello, World !
Top Answers
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
Top Questions
