Hacker News Reader

Here is an introduction to the MIU formal system for someone who hasn't read GEB.

Thanks for sharing. This is also a nice answer to the MU puzzle, mentioned at the end of the article: https://en.wikipedia.org/wiki/MU_puzzle