liquidhaskell-0.8.10.7: tests/terminate/pos/term00.hs

module Term00 where

zoo :: Int -> Int
zoo n 
  | 0 < n     = n + zoo (n-1)
  | otherwise = 0