Text this: Foundations of Logic and Functional Programming Workshop :