This resource accompanies the course Introduction to Quantum Programming and Semantics in the School of Informatics at the University of Edinburgh in Spring 2024. It provides an introduction to and a survey of the following quantum programming languages.