UCSD-PL/liquidhaskell-blog — pull request #3 by gridaphobe (2014-02-11 05:54:20+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..