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
Constraint dictionaries and entailment, followed by reflection of classes and instances.