Text this: A topological framework for program semantics