ucsd-progsys/liquid-fixpoint — pull request #39 by gridaphobe (2014-07-22 04:53:14+00:00)
Title: Use Text instead of String

This branch replaces *most* uses of `String`s with `Symbol`, represented internally as `Text`. It also uses the `intern` package for contant-time comparison between `Symbol`s.

Fixes #37