Peter G. Hancock



This webpage leads to various writings that I wanted to collect together and make available. There is also a mausoleum of more elderly things, currently in a random state. Some links might eventually work.

The main topic is programming and type theory, but there might some recreational things:

As for programming: