hdiff
packages
feed
liquidhaskell
-0.8.10.7: tests/neg/null.hs
module Foo where foo :: [Int] -> Int foo xs = if null xs then head xs else 0