dom-verity

Category Theorist and programmer by day, bad drummer by night.

Macquarie UniversityNorth Ryde, Sydney, NSW 2109, Australia