Series: lattices-for-programmers