Pict is a statically typed programming language, one of the very few based on the π-calculus.
Pict is a statically typed programming language based on the π-calculus, which is a unique approach to programming.