Student society at University of Edinburgh exploring the theory of computer science, with a focus on programming languages!