updated summary to mention Quipper