*****************************
(Week 8: solutions of week 7)
*****************************

Here are the direct links:

https://github.com/Duta/focs-2015-16/blob/master/solutions/week-7/exercise-1/wk7ex1.proof

https://github.com/Duta/focs-2015-16/blob/master/solutions/week-7/exercise-2/wk7ex2.ml

https://github.com/Duta/focs-2015-16/blob/master/solutions/week-7/exercise-3a/wk7ex3a.ml

https://github.com/Duta/focs-2015-16/blob/master/solutions/week-7/exercise-3b/wk7ex3b.proof