Add 'LICENSE' (from software foundations)
Do exercise 'Slow Assignment' in Hoare2