Wadler's Blog

The usual Gentzen-style rules make some use of visual layout, but I suspect it may be possible to exploit the potential of graphical techniques far more effectively. Here is one attempt to do so. I'm not entirely convinced by this particular approach, but it is a brave attempt and worth noting.