ucsd-progsys/liquidhaskell — pull request #70 by nikivazou (2013-04-30 22:24:33+00:00)
Title: allow many type specifications, seperated by comma

e.g.,
```
{-@ foo, bar :: x:a -> {v:a|v = x}@-}
```