In this blog post Hal Owens writes about his internship project at Microsoft Quantum - developing quantum programming assignments with Q# and bringing them to the classroom at Purdue.
λ-Q# is an idealized version of Q# aimed at providing it a formal language definition, placing the language on a solid mathematical foundation, and enabling further evolution of its design and type system.
This fall I taught "Introduction to quantum computing" at Northeastern University. In this post, I share my experience teaching it and describe the kinds of programming assignments the course offered.