
docs.hancock.fastmail.fm
Peter G. HancockPeter G. Hancock. This webpage leads to various things I have written, that I wanted to collect together. The end of this page has recent things. There is also a mausoleum. Of more elderly things, currently in a random state. Some links might eventually work. The main topics are in type theory and programming, but there might be something about music. Programming = devising programs that communicate in a specified way with their environment. For example, via streams, or a command response interface.
http://docs.hancock.fastmail.fm/