Text this: Programs, Proofs, Processes