pseuCo Book crash, outdated link
I got the following error while doing the "Proving Observation Congruence" exercise in the book:
Name: ReferenceError
Message: can't access lexical declaration 'Y' before initialization
Object: {}
Before the application crashed, I selected the pairs for the relation. Also, the link ("Please report this error here") is not up-to-date.
Edited by Yasmine Briefs