Preferences are saved in this browser.
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