Update Robin’s email address
typo
Merge branch 'master' of github.com:robinhouston/mll-proof-equivalence
Let’s be bold!

No commented-out alternatives.
Merge branch 'master' of github.com:robinhouston/mll-proof-equivalence
Minor tweaks to intro
Merge branch 'master' of github.com:robinhouston/mll-proof-equivalence
Allow scratch-2 to be compiled
typo
Merge branch 'master' of github.com:robinhouston/mll-proof-equivalence