Text size is remembered as you browse. Motion follows your system preference unless you choose Moving. Hidden on small screens.
A series by Edward Kmett
Zipping and unzipping functors, followed by their dual constructions.