Text size is remembered as you browse. Motion follows your system preference unless you choose Moving. Hidden on small screens.
Ranjit Jhala
Ranjit's talk on Liquid Haskell, for the Boston Haskell meetup group, November 19 2014