fairflow projects

Sites published by Matthew Fairtlough under projects.fairflow.co.uk.

Projects

locus Blueprint: steps towards a programming language for signers, built on Milner's bigraphs in Lean.
AI Writing and Tools Writing, especially on AI-related issues, with code and discussions.