Describir: Programs, Proofs, Processes