[cbc] Start of second part and Ciao installation

Dear all,

this is a gentle reminder that with tomorrow's class we start the second part of the Correctness by Construction course.

In this part the main tool we will be using is Ciao.

I have left relevant information about Ciao on the course web site, including installation instructions and pointers to documentation.

I you can have Ciao installed in your computer for this first class, you can try examples already during the class, but it is not strictly necessary. It will be necessary however to do the exercises and to be able to follow the second and third classes.

Look forward to seeing you tomorrow.

Cheers,

Manuel