Documentation for Quiver, The Programmer's Notebook