HoTT/HoTT — pull request #308 by JasonGross (2014-01-18 01:17:35+00:00)
Title: Add a .dir-locals.el for dealing with the std lib

Thanks to @DanGrayson's trick of making variables local to a `.dir-locals.el` file, I now feel comfortable asking for this to be merged; it allows easier editing of files our replacement std-lib.

I think it's small enough that it probably only needs one other pair of eyes; I'm not sure if it's small enough for me to just merge without review.