packages feed

liquidhaskell-0.7.0.0: tests/pos/test000.hs.hquals

qualif Foo(v: Int): v = 10