Snapshot:

quantum lambda calculus