UCSD-PL/liquidhaskell-blog — pull request #2 by gridaphobe (2014-02-11 05:51:48+00:00)
Title: use --short-names for blog posts

This really cleans up the type popups, and I think our posts are simple enough that we won't run into issues with name conflicts..