Will Do
Thoughts on technology, the world, and life.

Going Wrong

Robin Milner:

Well-typed programs cannot ‘go wrong’.

π