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