UCSD-PL/RefScript — pull request #5 by ranjitjhala (2014-07-26 18:05:20+00:00)
Title: Text symbol

Updating code base to use new `Symbol` api, c.f.

https://github.com/ucsd-progsys/liquid-fixpoint/pull/39