I (Steven) is currently experiencing server upgrading issue (today is 30 Nov 2016)... https://cpbook.net will be revived soon when I am done with Semester 1 teaching in NUS next week.