Homepage: https://github.com/ucsd-progsys/liquid-types.el
Author: Ranjit Jhala
Updated: 2015-Dec-01
Show inferred liquid-types
see https://github.com/ucsd-progsys/liquidhaskell#emacs