Quipper, a programming language for quantum computers
mathstat.dal.ca