I am giving two lectures on
Pict
in the Part II course on Communicating automata and Pi-calculus.
Here
is a screendump from a Pict application (with thanks to Asis Unyapoth).
Peter
.Sewell@cl.cam.ac.uk